Viewing all changes in revision 1001.
- Committer: Jiri Srba
- Date: 2019-03-27 20:55:09 UTC
- mfrom: (1000.1.1 tapaal)
- Revision ID: srba@cs.aau.dk-20190327205509-vi4y8bj054twq33v
merged in branch lp:~tapaal-contributor/tapaal/double-click-on-arcs-to-edit-1820017 that allows to enter arc dialog by double clicking on a label
expand all
collapse all
added
removed
