2 Commits

Author SHA1 Message Date
Francesco Grazioso
dd4089ed0e fix messages in kill_gui.sh 2024-06-01 11:37:07 +02:00
Francesco Grazioso
ceda43658d add sh command to kill gui 2024-06-01 11:37:07 +02:00