25 Oct
2013
25 Oct
'13
10:19 a.m.
#1460: Timer improvement --------------------------+------------------------------------------------- Reporter: hinder | Owner: Type: enhancement | Status: reviewed_ok Priority: minor | Milestone: Component: Other | Version: development version Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by eschnett):
* status: review => reviewed_ok
--
Ticket URL: https://trac.einsteintoolkit.org/ticket/1460#comment:2
Einstein Toolkit http://einsteintoolkit.org
The Einstein Toolkit