]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #380 from tjhei/fix-ga
authorTimo Heister <timo.heister@gmail.com>
Fri, 24 May 2024 18:00:29 +0000 (14:00 -0400)
committerGitHub <noreply@github.com>
Fri, 24 May 2024 18:00:29 +0000 (14:00 -0400)
commit6c453ebc815d9a858d245b95b63c0dd004fe35fb
tree7402af2c674e4d48c87c28bd5f54da1bd26f2de0
parent29f0577ec1f80e4efea43b60053b73da927ef0f7
parent8e5a805a3e2444b3e167db08d9901908f7283e49
Merge pull request #380 from tjhei/fix-ga

try fixing github actions

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.