X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fruns.ui;h=17d29f963c75a9042c78facd90e52e1eeb0a391b;hb=21fd4cf34deb63f4968a715d9720f34bd1995447;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