]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14787 from dealii/tjhei-patch-1
authorMarc Fehling <mafehling.git@gmail.com>
Sat, 11 Feb 2023 02:42:57 +0000 (19:42 -0700)
committerGitHub <noreply@github.com>
Sat, 11 Feb 2023 02:42:57 +0000 (19:42 -0700)
commit4361186c36b187e1098680e61fa53d7b87ab69c9
treed4b7fb1dab80dd5bbe0807d6d4676754b03bdc81
parent9e288617ce3de28592e160efb61efa4b1e4aa6a3
parentfceaac022b98468feee8bfff24f5d6a412acbe68
Merge pull request #14787 from dealii/tjhei-patch-1

update CI badges in README

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.