Viewing all changes in revision 1047.
- Committer: Jiri Srba
- Date: 2020-04-16 13:37:58 UTC
- mfrom: (1018.25.2 tapaal)
- Revision ID: srba@cs.aau.dk-20200416133758-mss5zu6isk4kt66o
merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing positional info loading for PNML files
- files modified:
- src/dk/aau/cs/gui/TabContent.java
expand all
collapse all
added
removed
