Code review comment for lp:~tapaal-contributor/tapaal/cpn-gui-dev

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

It seems some shortcuts are updated, please remember to update documentation: https://github.com/TAPAAL/TAPAAL/wiki/Shortcut-keys

« Back to merge proposal