Viewing all changes in revision 1000.
- Committer: Jiri Srba
- Date: 2019-03-17 18:52:30 UTC
- mfrom: (993.5.1 tapaal)
- Revision ID: srba@cs.aau.dk-20190317185230-2b70ncu8h30h87dg
merged in branch lp:~tapaal-contributor/tapaal/tikz-export-and-arc-labels-1786458 that fixes label positions on arcs during tikz export
- files modified:
- src/pipe/gui/TikZExporter.java
expand all
collapse all
added
removed
