]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11933 from bangerth/15
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Wed, 17 Mar 2021 14:50:38 +0000 (15:50 +0100)
committerGitHub <noreply@github.com>
Wed, 17 Mar 2021 14:50:38 +0000 (15:50 +0100)
commit2de8854c902e2abf1ca9afc9d636d45306a2c9be
treee720fdd8bd3cdeac28f7731fdaed9d7d4d55416d
parente73c585e9905bab9a2bca86ea8b7c4aae1b30f4c
parentad075165b325c9ff81636b9c336cc5fc5e2ed97b
Merge pull request #11933 from bangerth/15

Use the correct file extension.

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.