]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10970 from kronbichler/remove_instantiations
authorPeter Munch <peterrmuench@gmail.com>
Fri, 25 Sep 2020 16:52:00 +0000 (18:52 +0200)
committerGitHub <noreply@github.com>
Fri, 25 Sep 2020 16:52:00 +0000 (18:52 +0200)
commitdedfaf9cdad0807f2ea373fe21af8a3086c2350c
tree77be5ab9145ab8fe7454382ff1d8e28b9dc1344c
parentcd8b20072f3da26ac6924477dbf4af8909ff64f0
parent97dd7f9fe3c8dc55d970045dbfabb01d2c589698
Merge pull request #10970 from kronbichler/remove_instantiations

Remove unnecessary instantiation files

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.