]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5087 from drwells/timer-multithreaded-fixes
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 15 Sep 2017 12:09:34 +0000 (14:09 +0200)
committerGitHub <noreply@github.com>
Fri, 15 Sep 2017 12:09:34 +0000 (14:09 +0200)
commit2781cbd6dd3efeea23b8b6e0ecbd4dc0fa59edd5
tree46abd63a4ed143ad6f026d4bc38ba0b1be3fac9d
parentde173d32693fa41146587ee0294d3996b4c53f63
parenteb6d92aec34ca779317d119f41c08319298d99ca
Merge pull request #5087 from drwells/timer-multithreaded-fixes

Timer multithreaded fixes
source/base/timer.cc

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.