]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15736 from masterleinad/early_deprecated_headers
authorMatthias Maier <tamiko@43-1.org>
Thu, 13 Jul 2023 16:35:17 +0000 (16:35 +0000)
committerGitHub <noreply@github.com>
Thu, 13 Jul 2023 16:35:17 +0000 (16:35 +0000)
commit164c7bed03f080a464fc5aa1d443771152a03ed8
tree6859afa3bffd050247451f82b331de62b20dfe81
parent3c262afb6735032e789aac09e0aa69a2327d5c5a
parentc65267188fe4f29fa415aca88e4a3840d15348af
Merge pull request #15736 from masterleinad/early_deprecated_headers

Only warn about deprecated std_cxx17 headers for DEAL_II_EARLY_DEPRECATIONS

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.