Viewing all changes in revision 1170.
- Committer: Jiri Srba
- Date: 2022-06-03 19:46:23 UTC
- mfrom: (1169.1.1 fix1976494)
- Revision ID: srba@cs.aau.dk-20220603194623-t1dkwxdwyrb6lyqj
merged in lp:~yrke/tapaal/fix1976494 fixing a problem with copying components that contain environmental transitions
- files modified:
- src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java
expand all
collapse all
added
removed
