]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6768 from masterleinad/modernize-deprectated-headers
authorMatthias Maier <tamiko@43-1.org>
Sat, 16 Jun 2018 19:31:02 +0000 (14:31 -0500)
committerGitHub <noreply@github.com>
Sat, 16 Jun 2018 19:31:02 +0000 (14:31 -0500)
commit403bf0f1e2c4cc9237b5f128a5aaec92c3ec0280
treeb498ff08b80d7bbbfde5c97098acd0bdf12e07dd
parent3c3530b8b93d4924e36ec8b9a593596424f0c922
parentb10cf67cb9824cb64031006d738ef2c0ec373d85
Merge pull request #6768 from masterleinad/modernize-deprectated-headers

Use clang-tidy's modernize-deprecated-headers

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.