Attempt to merge into lp:tapaal failed due to conflicts:
text conflict in src/dk/aau/cs/gui/TabContent.java
« Back to merge proposal
Attempt to merge into lp:tapaal failed due to conflicts:
text conflict in src/dk/ aau/cs/ gui/TabContent. java