]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14957 from peterrum/taskinfo_typo
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 23 Mar 2023 15:59:55 +0000 (09:59 -0600)
committerGitHub <noreply@github.com>
Thu, 23 Mar 2023 15:59:55 +0000 (09:59 -0600)
commitcf5391155ed981ffd1f4cae278755d36326b6994
treee5cf9b5a0d7523158cec3ff8809a3908c7be6ca6
parent92344eb39a58b75721271562b26b3ce0c656e930
parent8b14f99e0cf02ea28f296abe09f158747486a27d
Merge pull request #14957 from peterrum/taskinfo_typo

Fix typo in TaskInfo

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.