https://gitweb.dealii.org/ - dealii.git/commit

]> https://gitweb.dealii.org/ - dealii.git/commit

github: run all github actions on draft PRs as well

.github/workflows/linux.yml		diff \| blob \| history
.github/workflows/osx.yml		diff \| blob \| history
.github/workflows/tidy.yml		diff \| blob \| history
.github/workflows/windows.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.