Bernhard Liebl 7c245e9f6d adds alternative editing of nodes: you can select nodes, use del to delete nodes, and split edges by simply clicking into edge

2017-10-23 19:01:14 +02:00

6 lines

274 B

XML

Raw Blame History