]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5841 from jppelteret/fix_5840
authorDenis Davydov <davydden@gmail.com>
Thu, 1 Feb 2018 20:10:52 +0000 (21:10 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Feb 2018 20:10:52 +0000 (21:10 +0100)
commitc735e8596c86b4faa899fc279f13dd39fe9f2078
treea2edc04f2a6c27439dbe490ba5f76c59f662fb95
parent14a877d2d276e5fcac1f19faaf66992652bfe1c5
parentd27a70a96f1f606da09e14233a0a4557a75d3174
Merge pull request #5841 from jppelteret/fix_5840

Remove a typedef thats unused when compiling in release mode.

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.