TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support

  1. cpn-gui-TikZ-support
  2. Merge into cpn-gui-dev
Revision history for this message
Jiri Srba (srba) wrote :

Please, set the default position for arc lables to pos=0.5

review: Needs Fixing

« Back to merge proposal