]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14831 from bangerth/instantiations
authorDavid Wells <drwells@email.unc.edu>
Sun, 26 Feb 2023 02:57:12 +0000 (21:57 -0500)
committerGitHub <noreply@github.com>
Sun, 26 Feb 2023 02:57:12 +0000 (21:57 -0500)
commit0ecd010f09424f9f30fd5044eaff3bfff1c2d5b4
treeb39b083912b5d69ae05755062a9d8c9b5a456c8b
parent801963af09c8359e70c434a1a1742e1b90b132db
parent04baaf35fb827484a487cfc62421fc0c389f7122
Merge pull request #14831 from bangerth/instantiations

Produce .inst files that are easier to read.

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.