]> https://gitweb.dealii.org/ - dealii.git/commit
fix time extractor to parse names with spaces
authorTimo Heister <timo.heister@gmail.com>
Fri, 8 Feb 2013 22:44:26 +0000 (22:44 +0000)
committerTimo Heister <timo.heister@gmail.com>
Fri, 8 Feb 2013 22:44:26 +0000 (22:44 +0000)
commit3f5b05326a8f87315095e86d0fa6a89b0fcc4902
treeaf5c4d099f3bb151669f2cb57b2ad578fd9ca902
parent488d6c3c10cdef593b7131fc2f6c7fc5a9c10797
fix time extractor to parse names with spaces

git-svn-id: https://svn.dealii.org/trunk@28285 0785d39b-7218-0410-832d-ea1e28bc413d
tests/benchmarks/gettimes/get_times.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.