]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14423 from tjhei/rename-inst-file
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 15 Nov 2022 20:34:01 +0000 (14:34 -0600)
committerGitHub <noreply@github.com>
Tue, 15 Nov 2022 20:34:01 +0000 (14:34 -0600)
commit7e6198a4cd5e2cb9435fd7cadb2eb68bcfdf7874
tree169d57721983e66c80830954a814ed9720ba5e6b
parent81a05a0e56e879337f189a9a8902f5033922eeb7
parent9a144dd9fdd22d57a15bc86370390c1c49d5a5d3
Merge pull request #14423 from tjhei/rename-inst-file

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.