display run time in second as well at the end
Description
Description
Details
Details
- Committed
Ahoffmann Dec 14 2020, 11:28 - Pushed
Ahoffmann Dec 14 2020, 15:38 - Parents
- rGYACOMOe7303f1d020e: write the number of process in output file
- Branches
- Unknown
- Tags