Viewing all changes in revision 1022.

Committer: Jiri Srba
Date: 2019-10-31 10:40:17 UTC
mfrom: <a title="Merged From 1019.3.1" href="/~tapaal-contributor/tapaal/open-arg-file-1855267/revision/1019.3.1">(1019.3.1 tapaal)
Revision ID: srba.jiri@gmail.com-20191031104017-5sogq4vj58ls31wk

merged in lp:~tapaal-contributor/tapaal/cursor-animation-mode-1849783 fixing cursor arrow in annimation mode

added added

removed removed