]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5488 from masterleinad/avoid_scoped_lock_warning
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Fri, 17 Nov 2017 16:20:06 +0000 (17:20 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2017 16:20:06 +0000 (17:20 +0100)
commit4b55b61839bfa06756a0c3fc09b31982755323c0
tree28005777df59c1bdb885c124afb0dee7375071c7
parent449f07dd1278533b8ddc350de9d65bcc9e6e8dc1
parent59d090d0406a660a400dc84fd040572cc8d73c22
Merge pull request #5488 from masterleinad/avoid_scoped_lock_warning

Avoid warning about unused ScopedLock for DEAL_II_WITH_THREADS=OFF

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.