Viewing all changes in revision 1036.
- Committer: Niels Christensen
- Date: 2019-05-07 14:34:08 UTC
- Revision ID: nchri13@student.aau.dk-20190507143408-xgmb5wtya47ejc5q
Fixed the tikZ exporter such that it now also can export SharedColoredPlaces
- files modified:
- src/pipe/gui/TikZExporter.java
expand all
collapse all
added
removed
