X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=214af79738740740d0cdcbce05bbcc78df811a8a;hb=2dacc78b06eb2c34efbb8af544908edd0b99b86e;hp=c922d371bae97e07ced8a664004d84f189e79861;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui index c922d371ba..214af79738 100644 --- a/src/ui/gui/data-editor.ui +++ b/src/ui/gui/data-editor.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ -