Code review comment for lp:~yrke/tapaal/removeNetType

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

The net type was always TAPN, type UNTIMED was never set any place, so this change should have no effect on features.

« Back to merge proposal