]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12776 from peterrum/ide_comment
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 25 Sep 2021 16:07:42 +0000 (18:07 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Sep 2021 16:07:42 +0000 (18:07 +0200)
commit9e557027ad5ff78f4fd2544962516687107362be
tree878040114a8bf92f9a72899de281fdba8a1b421e
parent1156a4380dccfdfb0ab28659abd988b1f20b10aa
parent6ca9e69afb89100f8f73654b4fc4e7a022f6b914
Merge pull request #12776 from peterrum/ide_comment

Remove an IDE comment

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.