Viewing all changes in revision 1006.
- Committer: Jiri Srba
- Date: 2019-03-27 21:26:47 UTC
- mfrom: (1000.4.2 tapaal)
- Revision ID: srba@cs.aau.dk-20190327212647-6i3hhrwyanfrqy1k
merged in lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528 that improves tikz export and name placement
- files modified:
- src/pipe/gui/TikZExporter.java
expand all
collapse all
added
removed
