]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3760 from masterleinad/fix_filename
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 10 Jan 2017 09:45:45 +0000 (10:45 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Jan 2017 09:45:45 +0000 (10:45 +0100)
commitc292d2a8b79fa0faa5c6f68c7c4fa6e5b5f19f0b
tree57bbe7df321e43b312216588eb47f4d0d8a2c70c
parent3f1cfa1040974ce02314df914985320306ee8065
parent1fea569f7ab1e0d52465fb89374ddf0d3161dd87
Merge pull request #3760 from masterleinad/fix_filename

Rename misnamed 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.