-
Committer:
Jiri Srba
-
Date:
2020-08-24 09:50:07 UTC
-
mfrom:
(1071.5.13 game-shortcut)
-
Revision ID:
srba.jiri@gmail.com-20200824095007-94smlnnaod0sbr6r
merged in lp:~tapaal-contributor/tapaal/game-shortcuts adding shortcuts U/E/L for drawing uncontrolalble and urgent transitions