Code review comment for lp:~tapaal-contributor/tapaal/bug894337

Revision history for this message
TAPAAL Janitor (tapaal) wrote :

Attempt to merge into lp:tapaal failed due to conflicts:

text conflict in src/dk/aau/cs/gui/TabContent.java

« Back to merge proposal