Viewing all changes in revision 1015.1.1.
- Committer: ptaankvist at gmail
- Date: 2019-10-04 08:23:00 UTC
- mto: This revision was merged to the branch mainline in revision 1016.
- Revision ID: ptaankvist@gmail.com-20191004082300-zmkm0c13o9vmzxhr
positions of places and transitions do no longer depend on grid size when loading net
expand all
collapse all
added
removed
