X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffind.ui;h=13caa3032f23924b332cc1ea99bde9e487d45ed9;hb=5816109430eb4b71652de09cfdc2df2bc5c44655;hp=5b98b21cda2416b728ad66983b7b261be2338961;hpb=2818b1ba8e2f9328760eaede858c45a0932198c3;p=pspp diff --git a/src/ui/gui/find.ui b/src/ui/gui/find.ui index 5b98b21cda..13caa3032f 100644 --- a/src/ui/gui/find.ui +++ b/src/ui/gui/find.ui @@ -17,7 +17,7 @@ - + False