]> https://gitweb.dealii.org/ - dealii.git/commit
minor cleanup
authorDenis Davydov <davydden@gmail.com>
Tue, 12 Jun 2018 20:44:50 +0000 (22:44 +0200)
committerDenis Davydov <davydden@gmail.com>
Tue, 12 Jun 2018 20:44:50 +0000 (22:44 +0200)
commitb6f3e31e278c65a6bb2b15fb03e3491563618a96
tree1c5b6afd49037e48fb95be9b8440e8e12f86a0ae
parentace5502cd31de6bddaaafc58f4bb3bc45abf1790
minor cleanup
doc/news/changes/minor/20180529DenisDavydov_b
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.