X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Ffind.ui;h=ac05b5961d025603274de846c16d20b31c56539a;hb=6a4b99242da1222b711790926aa6be41ad8adb3f;hp=02fa7b8ffc0b5d8be79304d8fb1ca94787ed21b5;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/find.ui b/src/ui/gui/find.ui index 02fa7b8ffc..ac05b5961d 100644 --- a/src/ui/gui/find.ui +++ b/src/ui/gui/find.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ -