f06fa9faa24d24822a5266891e0d26c0ada68e03
as module properties and parameters anyway share the same namespace, there is no need to distinguish in config files. + a parameter default value may be overriden just with a class attribute. Both improvements help to switch between parameters and properties more easily. Change-Id: Ieb5cf3121f37c7c04e63345d3e95dfaf42726455 Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/22054 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%