Code review comment for lp:~yrke/tapaal/fix-940280-stepbackforwardenabled

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

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

text conflict in src/pipe/gui/AnimationController.java

« Back to merge proposal