Viewing all changes in revision 1086.
- 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
expand all
collapse all
added
removed
src/resources/Images/Uncontrollable transition.png
