Comment 2 for bug 2012151

Revision history for this message
Jiri Srba (srba) wrote :

The net only opens in this branch

https://github.com/TAPAAL/tapaal-gui/pull/65