Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/redirect-game-engine-cpn
redirect-game-engine-cpn
Merge into cpn-gui-dev
Revision history for this message
Jiri Srba (srba)
wrote
on 2022-01-14
:
#
Works as expected.
Works as expected.
review:
Approve
«
Back to merge proposal
Works as expected.