 Enrico FaulhaberandGeorg Brandl
|
f055ae20c2
|
remove cfg_editor for now
as it was not functional...
fixes: #4881
related: #4882
Change-Id: Ic8c5ee06fcdd48b8b0562b5b1275296d2b155f06
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/34226
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Jens Krueger <jens.krueger@tum.de>
Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
|
2024-07-26 08:36:16 +02:00 |
|
|
Alexander ZaftandBjoern Pedersen
|
6909eb8541
|
rename debian files
Change-Id: Ib990ecb8ef5ad856eb32110e5448064acf9a5a12
|
2022-11-10 09:46:46 +01:00 |
|
|
Alexander ZaftandEnrico Faulhaber
|
b3eebb6c6a
|
rename debian package files
Change-Id: I376082a68ceacd6fda984dc8dc1d53fa4afbbfef
|
2022-11-09 16:31:40 +01:00 |
|