Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/bug894337
bug894337
Merge into trunk
Revision history for this message
Jiri Srba (srba)
wrote
on 2012-03-08
:
#
The conflict has been resolved. I guess we can merge it now?
The conflict has been resolved. I guess we can merge it now?
«
Back to merge proposal
The conflict has been resolved. I guess we can merge it now?