~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1107.

  • Committer: Jiri Srba
  • Date: 2020-10-09 17:03:06 UTC
  • mfrom: (1106.1.2 arcpathpoint-issues)
  • Revision ID: srba@cs.aau.dk-20201009170306-ugqcfrnu04vhxct4
merged in lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging and selecting anchor points on arcs

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: