]> https://gitweb.dealii.org/ - dealii.git/commit
Remove now obsolete files. 7333/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 11 Oct 2018 19:42:13 +0000 (14:42 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 11 Oct 2018 19:58:14 +0000 (14:58 -0500)
commit372fd0fae8d999dabc4dea9cb58396aeeccb9214
tree44c3fdae190a904f95b98a60ff1e6d7280e3841f
parenta133aa0c6aed874a7de433047f7792eec2895f21
Remove now obsolete files.
doc/news/changes/minor/20180507LucaHeltai [deleted file]

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.