]> https://gitweb.dealii.org/ - dealii.git/commitdiff
added log 2287/head
authoralberto sartori <alberto.sartori86@gmail.com>
Wed, 2 Mar 2016 09:53:56 +0000 (10:53 +0100)
committeralberto sartori <alberto.sartori86@gmail.com>
Wed, 2 Mar 2016 09:53:56 +0000 (10:53 +0100)
doc/news/changes.h

index 8795b503997cd55797eaee1c5a62ae52ee2ec28c..94e3cd81a86c5510ddc3af32949e288c2563dcf7 100644 (file)
@@ -68,6 +68,12 @@ inconvenience this causes.
 <h3>General</h3>
 
 <ol>
+ <li> New: added indent target to indent all headers and source
+ files. Now you can do make (or ninja) indent inside the build
+ directory.
+ <br>
+ (Alberto Sartori, 2016/03/02)
+ </li>
 </ol>
 
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.