]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11355 from peterrum/og
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 11 Dec 2020 08:27:38 +0000 (09:27 +0100)
committerGitHub <noreply@github.com>
Fri, 11 Dec 2020 08:27:38 +0000 (09:27 +0100)
commitee6c74acdafbf2d2c654a53fcd11a3c030b05519
treea24e9291dc6c15dc03c5521501907e3655842a38
parentfc1ac70df825761cc06e5a70dfd4d9a600a9fd19
parent880ec6e9bca06fb40c8680acd5be4810a7e286c8
Merge pull request #11355 from peterrum/og

Jenkins: use -Og

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.