]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17900 from tjhei/doc-omit-zeroing
authorMartin Kronbichler <martin.kronbichler@rub.de>
Thu, 5 Dec 2024 07:00:51 +0000 (08:00 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Dec 2024 07:00:51 +0000 (08:00 +0100)
commitaad550a06efd46dca6abd6224f063a97bdbe352d
tree4d2a72d9f52414a491dcb6b693fe297f35b641bb
parent052d134864b4c5b5b4ac1eca13511585fd4cdb7c
parent42f9d3df48b22507e095325bd27c67b99352b012
Merge pull request #17900 from tjhei/doc-omit-zeroing

clarify omit_zeroing_entries

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.