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>
This commit is contained in:
1
debian/frappy-gui.install
vendored
1
debian/frappy-gui.install
vendored
@ -1,3 +1,2 @@
|
||||
usr/bin/frappy-gui
|
||||
usr/bin/frappy-cfg-editor
|
||||
usr/lib/python3.*/dist-packages/frappy/gui
|
||||
|
Reference in New Issue
Block a user