Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/ltl-icon-selection-1997234
ltl-icon-selection-1997234
Merge into 3.9
Revision history for this message
Jiri Srba (srba)
wrote
on 2023-01-23
:
#
Tested and works fine.
Tested and works fine.
review:
Approve
«
Back to merge proposal
Tested and works fine.