]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 457e6c0 afc3131)
Merge pull request #3905 from davydden/doc_updates_tests
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 2 Feb 2017 20:08:07 +0000 (13:08 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Feb 2017 20:08:07 +0000 (13:08 -0700)
more descriptive commands on how to setup tests for an already instal…


Trivial merge
Mirror of the development repository for deal.II

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.