TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947

  1. notes-hides-namelabels-1848947
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

The notes hide also intervals on arcs, so this should be fixed in this branch as well.

review: Needs Fixing

« Back to merge proposal