Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/cut-names-1923011
cut-names-1923011
Merge into trunk
Revision history for this message
Kenneth Yrke Jørgensen (yrke)
wrote
on 2021-04-09
:
#
For now just focus on button and panels :)
For now just focus on button and panels :)
«
Back to merge proposal
For now just focus on button and panels :)