~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451

Viewing all changes in revision 1102.

  • Committer: Jiri Srba
  • Date: 2020-09-16 19:40:44 UTC
  • mfrom: (1094.3.1 tapaal)
  • Revision ID: srba@cs.aau.dk-20200916194044-3spb6g3z9g3gy86b
merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: