]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1080 from tjhei/remove_warning
authorLuca Heltai <luca.heltai@sissa.it>
Sun, 5 Jul 2015 10:08:29 +0000 (12:08 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Sun, 5 Jul 2015 10:08:29 +0000 (12:08 +0200)
commit70dab2ddf4d48690387236a741c3306e4a288c40
tree4ec39b235a1714a3920947c95a65701d2f207ee0
parent5ef709cb5f0d4a6898727c0c763c553b6444a559
parent75ce5421464a2dc5bf41418e867de33fbacce83e
Merge pull request #1080 from tjhei/remove_warning

remove warning

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.