]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f30207e) | patch
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
tree46a934212c81a185d96c085e688c6e0764c1aeb1tree | snapshot
parentf30207e022674876743c0f7cb74d582861648867commit | diff
Outsource building documentation into separate github workflow.
.github/workflows/indent.yml diff | blob | history
Mirror of the development repository for deal.II

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.