← Back to branch summary

~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1004.

  • Committer: Jiri Srba
  • Date: 2019-03-27 21:25:48 UTC
  • mfrom: (1000.4.2 tapaal)
  • Revision ID: srba@cs.aau.dk-20190327212548-92070318olsmv4oa
merged in lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528 improving tikz export and name placement

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: