- remove obsolete import of format_time - fix commit message Change-Id: Ie3a03694c5a40a0f3b86b2902a435131fd75e051 Reviewed-on: https://forge.frm2.tum.de/review/18191 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
Languages
Python
99.9%