]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4549 from masterleinad/fix_timer
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 30 Jun 2017 12:46:29 +0000 (14:46 +0200)
committerGitHub <noreply@github.com>
Fri, 30 Jun 2017 12:46:29 +0000 (14:46 +0200)
commitd9d90d248edf1409485faa502a6a6a67036582ec
treecd70d1f94ad610b19f83c7ea6b2814cc75ab7c89
parent78a1fef0c5cd19596d6240f4eafbc83df826b17e
parent9c55cfb37192f01faf16e4986580975d58cb8e14
Merge pull request #4549 from masterleinad/fix_timer

Fix inconsistent Timer interface

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.