Skip to content
Snippets Groups Projects

topoSet: allow use of 'zone' instead 'set', 'zones' instead of 'sets' in all set sources

Merged Mattijs Janssens requested to merge feature-topoSet-with-zone into develop