]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #400 from tjhei/fix-download-mirror master
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 25 Feb 2025 21:20:35 +0000 (14:20 -0700)
committerGitHub <noreply@github.com>
Tue, 25 Feb 2025 21:20:35 +0000 (14:20 -0700)
commitcbd258d02635b465a9adb803edf792f816bcea54
tree1ac7ffb9b861fb8a7d4f15b23c0f307f02b181d6
parent33f3c4be63bf8e755ffc6036cce07aa9a045a63d
parent388a8d338877baa0c070837f6116835e939c29c4
Merge pull request #400 from tjhei/fix-download-mirror

fix download mirror

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.