X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foutput-window.ui;h=f23dfd68b67ab9f2acb260851db7c6f197ec9315;hb=95008dd8d8a668c4e7163486835e32d1755b8269;hp=4b167714abc9f89989662d35bf910f7aa7884e3e;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index 4b167714ab..f23dfd68b6 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ -