Re: [ET Trac] [Einstein Toolkit] #790: Make Carpet timer tree threshold and precision configurable

#790: Make Carpet timer tree threshold and precision configurable --------------------------+------------------------------------------------- Reporter: hinder | Owner: eschnett Type: enhancement | Status: closed Priority: minor | Milestone: Component: Carpet | Version: Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by hinder):

* status: review => closed * resolution: => fixed

Comment:

Committed in changeset ab6a712c7eb6.