Viewing all changes in revision 1155.
- Committer: Jiri Srba
- Date: 2021-11-04 20:27:47 UTC
- mfrom: (1154.1.1 fix1947517-2)
- Revision ID: srba@cs.aau.dk-20211104202747-gbo3n5618l05go1g
merged in lp:~yrke/tapaal/fix1947517-2 fixing the problem with editing arc points
expand all
collapse all
added
removed
