Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/batch-remove-button-active-1780125
batch-remove-button-active-1780125
Merge into trunk
Revision history for this message
Jiri Srba (srba)
wrote
on 2019-02-12
:
#
Works. Merging to trunk.
Works. Merging to trunk.
review:
Approve
«
Back to merge proposal
Works. Merging to trunk.