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

Revision history for this message
Jiri Srba (srba) wrote :

Line 145 in file src/pipe/gui/GuiFrame.java

System.out.println("Back!");

Is probably not supposed to stay in the merged branch.

« Back to merge proposal