]> https://gitweb.dealii.org/ - dealii.git/commit
Jenkins: use -Og 11355/head
authorPeter Munch <peterrmuench@gmail.com>
Thu, 10 Dec 2020 21:34:11 +0000 (22:34 +0100)
committerPeter Munch <peterrmuench@gmail.com>
Thu, 10 Dec 2020 21:34:11 +0000 (22:34 +0100)
commit880ec6e9bca06fb40c8680acd5be4810a7e286c8
treea24e9291dc6c15dc03c5521501907e3655842a38
parentfc1ac70df825761cc06e5a70dfd4d9a600a9fd19
Jenkins: use -Og
Jenkinsfile

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.