Code review comment for lp:~tapaal-contributor/tapaal/show-reduced-net-1879130

Thomas Pedersen (tpede16) wrote :

Disable the button for opening the reduced net from the query dialog, when structural reductions are disabled and merged with trunk

review: Needs Resubmitting

« Back to merge proposal