Run commands on servers
Go to file
Frédéric Péters b0d13c9439 remove all digits to get cluster name 2021-01-30 20:44:13 +01:00
COPYING license as GPL 2021-01-30 20:43:20 +01:00
eoptasks.py remove all digits to get cluster name 2021-01-30 20:44:13 +01:00