HomeIsabelle/Phabricator

proper session Timing for build_history log file (see 5c4800f6b25a);

Authored by makarius.

Description

proper session Timing for build_history log file (see 5c4800f6b25a);

Details

Committed
makariusFri, Jul 10, 10:38 PM
Parents
rISABELLE13890356df78: clarified signature;
Branches
Unknown
Tags
Unknown