Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/remove-ghost-place
remove-ghost-place
Merge into trunk
Revision history for this message
Kenneth Yrke Jørgensen (yrke)
wrote
on 2022-08-01
:
#
Requires new engine and changing all engine options, abandon
Requires new engine and changing all engine options, abandon
«
Back to merge proposal
Requires new engine and changing all engine options, abandon