Code review comment for lp:~tapaal-contributor/tapaal/colorTraceFix
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | # |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
bbfa235
(Get the code!)
Use with the new version of verifypn to avoid issue where the opend tab does not have a name.