]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5851 from masterleinad/clang_unused_parameters
authorDenis Davydov <davydden@gmail.com>
Sun, 4 Feb 2018 18:19:54 +0000 (19:19 +0100)
committerGitHub <noreply@github.com>
Sun, 4 Feb 2018 18:19:54 +0000 (19:19 +0100)
commit2bd21498d22e766b200020caa19c181c447a96f1
treeed65e1c5a766fa2001990578e227e01c364fa586
parentd61e3c17eab6210040950e04964e69dbb5cbdff4
parent7d64deee177975c9ab5abd2e2bbfda06d0d86aa4
Merge pull request #5851 from masterleinad/clang_unused_parameters

Allow detecting unused parameters using clang

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.