]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11412 from masterleinad/unused_parameter
authorPeter Munch <peterrmuench@gmail.com>
Wed, 23 Dec 2020 10:46:48 +0000 (11:46 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 10:46:48 +0000 (11:46 +0100)
commit3becce0942627c025ae6d579c8b56207a8f6a37e
tree6e5afb8c43595dc63314e57acde8408accd4c03c
parentdd4c66b98985fce2949e858c574098dbfcdbc4db
parent4c9b4cdf4f90653ef90028735291390500355d0f
Merge pull request #11412 from masterleinad/unused_parameter

Silence unused parameter warning when building with C++17

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.