]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13713 from tamiko/update_cdash_url
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 10 May 2022 21:56:01 +0000 (15:56 -0600)
committerGitHub <noreply@github.com>
Tue, 10 May 2022 21:56:01 +0000 (15:56 -0600)
commite46db53ce936786c399ea729b0b955b330804459
tree7b52b00b1b6d6b465effdf869c47c0b854c0fd61
parent5491fb0b3ea677e256f4f3ca89417d4a7d84ac47
parent1ae0ee1b27c52c93d84b8838e8de28eb22722549
Merge pull request #13713 from tamiko/update_cdash_url

Server move: Update server URLs

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.