]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #447 from bangerth/improve-readme.md
authorTimo Heister <timo.heister@gmail.com>
Fri, 16 Jan 2015 17:33:44 +0000 (12:33 -0500)
committerTimo Heister <timo.heister@gmail.com>
Fri, 16 Jan 2015 17:33:44 +0000 (12:33 -0500)
Improve wording slightly.

The existing instructions didn't make clear where the sources were located and
implicitly assumed that they are in the directory above the build
directory. This can be confusing.

(By suggestion of Joel Kulesza.)


Trivial merge

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.