]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14636 from tjhei/jenkins-disable-old
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 4 Jan 2023 10:31:52 +0000 (11:31 +0100)
committerGitHub <noreply@github.com>
Wed, 4 Jan 2023 10:31:52 +0000 (11:31 +0100)
commit55812cfaead202d53c14776f4d568309efd305f7
tree69fa103c5143ef50c271113adfb91f663e97a7ef
parent84cb874c8ae7798ee17544d00b951f95d2849284
parent82b29cfca93cafc8d3eda957d45d6152fa12f77a
Merge pull request #14636 from tjhei/jenkins-disable-old

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.