]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7857 from masterleinad/rename_generated_changes_file
authorMatthias Maier <tamiko@43-1.org>
Sun, 24 Mar 2019 20:10:30 +0000 (15:10 -0500)
committerGitHub <noreply@github.com>
Sun, 24 Mar 2019 20:10:30 +0000 (15:10 -0500)
commitb6c07b6c287b0df937e8e6625b36ae306ffd5714
tree289142d0a1789e9c7f4f7e4b950ade8fb78b5ab6
parent07ff636570cf726915b473678311e6f74c6f14d4
parentc36ca78847311bb7d09ea3c026cbec3c4994f292
Merge pull request #7857 from masterleinad/rename_generated_changes_file

Rename file generated by doc/news/changes/header

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.