Code review comment for lp:~tapaal-contributor/tapaal/colorTraceFix

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

Use with the new version of verifypn to avoid issue where the opend tab does not have a name.

« Back to merge proposal