Viewing all changes in revision 1038.
- Committer: Jiri Srba
- Date: 2020-03-17 12:55:31 UTC
- mfrom: (1032.6.4 show-smart-draw-dialog-PNML-1856544)
- Revision ID: srba@cs.aau.dk-20200317125531-m87fksxmm1y9idb9
merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 calling automatic layout tool if position information is missing
expand all
collapse all
added
removed
