# HG changeset patch
# User Jacob Dawid <jacob.dawid@googlemail.com>
# Date 1302167806 -7200
# Node ID e13397eb292a0b5f03732dbe08855e263c636736
# Parent  ffe3534fcffdd40bc94ffa767d65dcaee70c6093
Removed old code.

diff --git a/gui//mainwindow.h b/gui//mainwindow.h
--- a/gui//mainwindow.h
+++ b/gui//mainwindow.h
@@ -35,7 +35,6 @@
     MainWindow(QWidget *parent = 0);
     ~MainWindow();
 
-    void addOctaveTerminal();
     void addTerminalWindow();
     void loadWebPage(QString title, QString url);