]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13288 from bangerth/traits
authorPeter Munch <peterrmuench@gmail.com>
Tue, 25 Jan 2022 08:21:02 +0000 (09:21 +0100)
committerGitHub <noreply@github.com>
Tue, 25 Jan 2022 08:21:02 +0000 (09:21 +0100)
commit87d4a264a98ace91e1aa66379f1e313f85d41afe
tree13ac39333616c7238dcd7629c035aa6528ee5a90
parent761420166be096683340c833a48d68fec67cdbbc
parentbb860f3464abbe116cbb8267cef31d873bf4dba0
Merge pull request #13288 from bangerth/traits

Minor edits to type traits classes.

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.