X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsort.ui;h=37f6885937f48c69fc07fdea1356e46817521548;hb=424aa0c4f6d8ff6dc123e4452f37af7e6cd2d5d3;hp=eea998eb9ff245684c5c11940def0aeae1bd4409;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/sort.ui b/src/ui/gui/sort.ui index eea998eb9f..37f6885937 100644 --- a/src/ui/gui/sort.ui +++ b/src/ui/gui/sort.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ -