Closed robert-7 closed 7 years ago
We want to shorten the names in the output in Gambit.
This is completed. We now simply decide whether we want short labels or long labels in the config file and handle the node.label parameter accordingly.
We want to shorten the names in the output in Gambit.