]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #138 from bangerth/delete-outdated-file
authorTimo Heister <timo.heister@gmail.com>
Mon, 8 Sep 2014 01:35:42 +0000 (21:35 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 8 Sep 2014 01:35:42 +0000 (21:35 -0400)
commitad89c4a4ece0dd575c1a262555fa4b739867ecfd
treee21c35403999a3fff66b7997c42af6b22e99152a
parent37c9dd5be41ae2af3da20bb8fc37444d905dcf63
parent3d75467f542a00c27244e43b110c8925d71a165b
Merge pull request #138 from bangerth/delete-outdated-file

Remove a file that was probably never intended to be added.

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.