~tapaal-maintainers/tapaal/3.5

Viewing all changes in revision 1004.

  • Committer: Jiri Srba
  • Date: 2019-03-27 21:03:53 UTC
  • mfrom: (1000.2.1 tapaal-fixes1821163)
  • Revision ID: srba@cs.aau.dk-20190327210353-qwwqlrogd1aw8i1u
merged in branch lp:~yrke/tapaal/tapaal-fixes1821163 fixing a problem with deleting anchor points for arcs

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: