Viewing all changes in revision 983.
- Committer: srba.jiri at gmail
- Date: 2019-03-09 17:40:57 UTC
- mfrom: (978.3.12 MakeMultiShared)
- Revision ID: srba.jiri@gmail.com-20190309174057-qfotipidayci6qff
merged in branch lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728 that allows to share places/transitions with names that appear in several components
- files modified:
- src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java
expand all
collapse all
added
removed
