Viewing all changes in revision 1002.

Committer: Jiri Srba
Date: 2019-03-27 21:02:42 UTC
mfrom: <a title="Merged From 1000.2.1" href="/~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218/revision/1000.2.1">(1000.2.1 tapaal-fixes1821163)
Revision ID: srba@cs.aau.dk-20190327210242-3x23tllg1evmwxqe

merge in branch lp:~yrke/tapaal/tapaal-fixes1821163 fixing a problem with deleting anchor points on arcs

added added

removed removed