Viewing all changes in revision 1160.
- Committer: Jiri Srba
- Date: 2021-11-20 21:25:54 UTC
- mfrom: (1157.3.5 draw-urgent-transition-timed-net-icon-1951026)
- Revision ID: srba@cs.aau.dk-20211120212554-2mwbx50brmiaeh91
merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 allowing to draw urgent/environmental transitions via icons
expand all
collapse all
added
removed
src/resources/Images/Uncontrollable urgent transition.png
src/resources/Images/Urgent transition.png
