l_samenv 4b9e0e905d add info about SEA cfg in listing
+ fixed: all servers should be shown, independent whether nicos list,
  frappy list or sea list is used
2020-11-03 14:08:38 +01:00
..
2020-10-23 16:18:50 +02:00
2020-10-23 16:18:50 +02:00
2020-10-23 16:18:50 +02:00
2020-10-23 16:18:50 +02:00
2020-10-23 16:18:50 +02:00
sea
2020-11-03 14:08:38 +01:00