X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fgoto-case.ui;h=79490b7a0c94386cadcb7875bf75ae57f4937424;hb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;hp=9cb6789887f67fadf4f68541cca723d0cccb03ef;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/goto-case.ui b/src/ui/gui/goto-case.ui index 9cb6789887..79490b7a0c 100644 --- a/src/ui/gui/goto-case.ui +++ b/src/ui/gui/goto-case.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ -