]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5495 from masterleinad/remove_unused_typedefs
authorJean-Paul Pelteret <jppelteret@gmail.com>
Fri, 17 Nov 2017 19:50:36 +0000 (20:50 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2017 19:50:36 +0000 (20:50 +0100)
commit5184e95f021537e95c4cf82a87ac90c3a5ba1bc3
tree6fb9b72f5991e0148ae6521ca319c1b6ea424159
parent4b55b61839bfa06756a0c3fc09b31982755323c0
parent30e1f31fc4cf84fb92f48958fc4ea562d95700ae
Merge pull request #5495 from masterleinad/remove_unused_typedefs

Remove unused typedefs

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.