branches with status:
Name Status Last Modified Last Commit
lp:tapaal bug 1 Development 2020-10-09 17:03:06 UTC 2020-10-09
1107. merged in lp:~yrke/tapaal/arcpathpoin...

Author: Jiri Srba
Revision Date: 2020-10-09 17:03:06 UTC

merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging and selecting anchor points on arcs

11 of 1 result