Markus Zolliker 1e6fa76717 fix behaviour of exported predefined parameters
predefined parameters must be in the 'exported' dict of Parameters
else they are not exported

Change-Id: Ic23dc0477c135b5160fe3e0fb39069e0c5e5cca1
Reviewed-on: https://forge.frm2.tum.de/review/20981
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>
2019-08-06 08:26:58 +02:00
2019-07-23 14:23:26 +02:00
2019-03-26 09:34:32 +01:00
2019-03-28 13:46:08 +01:00
2019-04-02 08:15:40 +02:00
2019-07-16 10:56:17 +02:00
2019-07-24 14:20:13 +02:00
2017-11-03 08:46:20 +01:00
2019-03-26 10:42:53 +01:00
2017-09-13 15:31:59 +02:00
2018-12-04 10:18:55 +01:00
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
4.7 MiB
Languages
Python 99.9%