]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #290 from tamiko/miscellaneous_cleanup
authorLuca Heltai <luca.heltai@sissa.it>
Tue, 9 Dec 2014 13:11:31 +0000 (14:11 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Tue, 9 Dec 2014 13:11:31 +0000 (14:11 +0100)
commitc6a5c074c2044d0f8cbb7a7315f1a2b225704f47
tree86d26e6bed6b8fd0cebd5fe807888721c1764602
parent00759843be4ab8aeae55ebf482fbe26f5644e1cb
parent832c8d6b525bc7522988544a5a0a3a307822de4a
Merge pull request #290 from tamiko/miscellaneous_cleanup

Miscellaneous cleanup

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.