]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16381 from bangerth/spelling
authorMarc Fehling <mafehling.git@gmail.com>
Sun, 24 Dec 2023 06:49:51 +0000 (23:49 -0700)
committerGitHub <noreply@github.com>
Sun, 24 Dec 2023 06:49:51 +0000 (23:49 -0700)
commit2aefc97a88eae6dd5551a8d5fa5bddb135f4ceda
treec11924fb670cc6e4d917df9c35fb2a9209769e51
parent0da331b3df2ccd5f39b93fe824dd3c9c3a419f7f
parentddb66865cb440500b6736e89fb0f2fcebd8eb02f
Merge pull request #16381 from bangerth/spelling

Fix spelling in a CI step.

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.