but still optional with default True for frappy Parameter Change-Id: I416c835af324ec3875aaa785cd0aefb28f9bfaa3 Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/21457 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Enrico Faulhaber <enrico.faulhaber@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%