Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~yrke/tapaal/cleanup-PNO-namingAndInterface
cleanup-PNO-namingAndInterface
Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank)
wrote
on 2020-07-07
:
#
It is not possible to undo resizing of annotation notes
It is not possible to undo resizing of annotation notes
«
Back to merge proposal
It is not possible to undo resizing of annotation notes