X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffind.ui;h=ac05b5961d025603274de846c16d20b31c56539a;hb=ccaf88efae9f6f4d93d7812834c412e8fd511bb2;hp=8f2aab877ccaf752751fae3dd97195c5e5577cf2;hpb=7293c1a383d325c371bd708401e5a1d7586a4d90;p=pspp diff --git a/src/ui/gui/find.ui b/src/ui/gui/find.ui index 8f2aab877c..ac05b5961d 100644 --- a/src/ui/gui/find.ui +++ b/src/ui/gui/find.ui @@ -1,4 +1,20 @@ + + + + + + + + + + + + + + + +