From: Wolfgang Bangerth Date: Thu, 8 Aug 2019 18:11:30 +0000 (-0600) Subject: Add a newline to the end of a file. X-Git-Tag: v9.2.0-rc1~1284^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F8515%2Fhead;p=dealii.git Add a newline to the end of a file. --- diff --git a/doc/news/changes/minor/20190807RebeccaFildes b/doc/news/changes/minor/20190807RebeccaFildes index 54cbf64385..0b61b49a2b 100644 --- a/doc/news/changes/minor/20190807RebeccaFildes +++ b/doc/news/changes/minor/20190807RebeccaFildes @@ -1,3 +1,3 @@ Changed: Added a descriptive sentence to the glossary entry for active.
-(Rebecca Fildes, 2019/08/07) \ No newline at end of file +(Rebecca Fildes, 2019/08/07)