From: alberto sartori Date: Wed, 2 Mar 2016 09:53:56 +0000 (+0100) Subject: added log X-Git-Tag: v8.5.0-rc1~1256^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F2287%2Fhead;p=dealii.git added log --- diff --git a/doc/news/changes.h b/doc/news/changes.h index 8795b50399..94e3cd81a8 100644 --- a/doc/news/changes.h +++ b/doc/news/changes.h @@ -68,6 +68,12 @@ inconvenience this causes.

General

    +
  1. New: added indent target to indent all headers and source + files. Now you can do make (or ninja) indent inside the build + directory. +
    + (Alberto Sartori, 2016/03/02) +