Timers: respect precision setting for untimed part

Branch: rhaas/untimedformat

Branch: master

Merged

#43 · Created 2021-02-09 · Last updated 2021-03-12

Merged pull request

Timers: respect precision setting for untimed part

8856d1b·Author: Einstein Toolkit ·Closed by: Roland Haas·2021-03-12