]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7255 from bangerth/header
authorMatthias Maier <tamiko@43-1.org>
Tue, 2 Oct 2018 17:27:34 +0000 (12:27 -0500)
committerGitHub <noreply@github.com>
Tue, 2 Oct 2018 17:27:34 +0000 (12:27 -0500)
commit3138dfa3073c88da73210653f0d4491c4fe02b0f
treeecfd851746a5400a14d90de026627d387bd04f63
parent718a77ff87ccc4e17939cc9e8a65ad311cab72d7
parentb742a465d71780a660f417cd22f07bcfff47386e
Merge pull request #7255 from bangerth/header

Do not unnecessarily create backup files that then litter the build directory
doc/doxygen/CMakeLists.txt

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.