-
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