Files
frappy/frappy_psi
Markus Zolliker 4f86fc5c3c frappy_psi.sea: small fixes
- changes in return value of frappy_config command in sea
- do not store sea manager

Change-Id: I5bc1d9a281ad2285b90d3649b4c702a3501d451d
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/32166
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>
2023-09-19 10:57:01 +02:00
..
2022-11-09 16:29:29 +01:00
2023-09-15 13:20:25 +02:00
2023-05-09 14:49:12 +02:00
2023-05-02 07:56:14 +02:00
2023-06-20 09:38:40 +02:00
2023-09-19 10:56:50 +02:00
2022-11-09 16:29:29 +01:00
2023-09-19 10:57:01 +02:00
2023-07-03 08:39:01 +02:00
2023-09-15 13:20:25 +02:00