X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.ui;h=3408036357cd4087bb5e1024e934c25be618bb97;hb=b0fd056eedc6872d45541c1ee0eb43e909bbc8b1;hp=07910dd217397b3b2b935aa2211c78052bcea33a;hpb=788e5989aa575b8b8f576a5489f4972d59f6507b;p=pspp diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui index 07910dd217..3408036357 100644 --- a/src/ui/gui/data-editor.ui +++ b/src/ui/gui/data-editor.ui @@ -477,8 +477,9 @@ - + binomial + uimanager1 _Binomial...