]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14793 from tjhei/doc_fe_dgrt
authorDavid Wells <drwells@email.unc.edu>
Tue, 14 Feb 2023 13:29:52 +0000 (08:29 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Feb 2023 13:29:52 +0000 (08:29 -0500)
commit067b4646940bc9dc8aa715f91e985d67e8188aa8
tree0075638fc0561b5905278f45030603299c80fe69
parentf4e89dea5004595bccaca85666102d5da77fcc7c
parent3e95d784284403821d5f134763f91896f38a1a71
Merge pull request #14793 from tjhei/doc_fe_dgrt

doc: replace FE_DGRT with correct name

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.