]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6438 from tjhei/deprecated_feature_check
authorMatthias Maier <tamiko@43-1.org>
Fri, 4 May 2018 01:48:58 +0000 (20:48 -0500)
committerGitHub <noreply@github.com>
Fri, 4 May 2018 01:48:58 +0000 (20:48 -0500)
commitf9b9649bbf0eda52cb29e7c581d9977f24df7bd6
tree227d3c5e2d3921125fced9ef7cfd8f5cb748be91
parent277d8529a1286a16d78a61098ebe22eccb713a24
parent163a5aee564f22b7e963a8be120940a056851b3c
Merge pull request #6438 from tjhei/deprecated_feature_check

reorder deprecation feature check

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.