TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206

  1. ImpossibleToDeletePlace-1826206
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

Fixes the problem nicely.

review: Approve

« Back to merge proposal