TAPAAL

  1. Bug #2006469
  2. Comment #5

Comment 5 for bug 2006469

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

Pushed fix for issue cpn: https://github.com/TAPAAL/tapaal-gui/pull/56 and https://code.launchpad.net/~tapaal-contributor/tapaal/fix1987383