-
Committer:
Jiri Srba
-
Date:
2020-10-31 18:54:26 UTC
-
mfrom:
(226.1.3 show-reduced-net)
-
Revision ID:
srba@cs.aau.dk-20201031185426-40zgypcd8b1651tc
merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y positions when exporting reduced net