X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fruns.ui;h=17d29f963c75a9042c78facd90e52e1eeb0a391b;hb=d1a98ef3d49f66f6622e2eee6215f78d9dda83bb;hp=be94d6a83b3e04c75f45aad219690a0e29abe73c;hpb=2818b1ba8e2f9328760eaede858c45a0932198c3;p=pspp diff --git a/src/ui/gui/runs.ui b/src/ui/gui/runs.ui index be94d6a83b..17d29f963c 100644 --- a/src/ui/gui/runs.ui +++ b/src/ui/gui/runs.ui @@ -17,7 +17,7 @@ - + False