]> https://gitweb.dealii.org/ - dealii.git/commit
Outsource building documentation into separate github workflow. 17559/head
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 16 Aug 2024 20:57:16 +0000 (14:57 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Fri, 16 Aug 2024 20:57:16 +0000 (14:57 -0600)
commit11e77023d1b5e1e21f350433648811bd0bceb5df
tree46a934212c81a185d96c085e688c6e0764c1aeb1
parentf30207e022674876743c0f7cb74d582861648867
Outsource building documentation into separate github workflow.
.github/workflows/indent.yml

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.