-
Holger Brand authored
Reset ElapsedProfileTime when reaching end of profile, uncheck Run Profile menu item when idle is received from PV.
2f84e03b
Reset ElapsedProfileTime when reaching end of profile, uncheck Run Profile menu item when idle is received from PV.
https://git.gsi.de is provided by CIT→Linux&Web | GSI Helmholtzzentrum fuer Schwerionenforschung GmbH | Imprint (in German) | Privacy policy