Files
Markus Zolliker 886d25ccee allow the use of nicos_gui/nicos_cli
instead of 'nicos gui' / 'nicos cli'
beacuse of possible conflict with existing nicos command
2025-12-18 10:47:10 +01:00
..
2025-05-02 11:52:12 +02:00
2021-04-28 12:28:45 +02:00
2021-04-28 12:28:45 +02:00
2021-04-28 12:28:45 +02:00