Viewing all changes in revision 1051.
- Committer: Jiri Srba
- Date: 2020-05-10 20:41:22 UTC
- mfrom: (1048.3.1 remoteUnusedFunction-updateTooltip)
- Revision ID: srba@cs.aau.dk-20200510204122-n63tzf9dz095wfhv
merged in lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip removing deadcode (updateToolTip)
- files modified:
- src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java
expand all
collapse all
added
removed
