Skip to content
GitLab
Explore
Sign in
Instrument Control
NomadGUI
Repository
nomad-gui
..
command
ServerCommandZone.java
Find file
Blame
History
Permalink
Fix bug: delete of an unknown command box in the launch pad did not
· c1cf8cb4
helene ortiz
authored
Sep 07, 2020
delete it on server side.
c1cf8cb4