]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13863 from pengfej/fixing_grammar_mistakes_in_comments
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 31 May 2022 00:27:15 +0000 (18:27 -0600)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 00:27:15 +0000 (18:27 -0600)
commit3e6f3182725e3c677af93f58bcb60f83e03e757b
tree2fddd9d7386b1ee786f67679507d329e6833da1e
parentcc45ccae7bc332e6fce20ff6da25a4f1587dac57
parentb0742bea1f7fcf088db3e0b6702c8641270ae7d3
Merge pull request #13863 from pengfej/fixing_grammar_mistakes_in_comments

Fixing grammar mistakes in comments

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.