Viewing all changes in revision 228.
- Committer: Jiri Srba
- Date: 2020-10-31 18:56:49 UTC
- mfrom: (226.1.3 show-reduced-net)
- Revision ID: srba@cs.aau.dk-20201031185649-x1ejr9cjaojc2j28
merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net
expand all
collapse all
added
removed
