X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foptions.ui;h=c5c64741e2435d47a1e7c858582ac7d45aa00a15;hb=8ccde6b2cb998a1acb9d8074b25088d839cf658f;hp=3a15821edd1c8e1db44dbbaa6691da7cb01f9743;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp

diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui
index 3a15821edd..c5c64741e2 100644
--- a/src/ui/gui/options.ui
+++ b/src/ui/gui/options.ui
@@ -235,7 +235,7 @@
             </child>
           </object>
         </child>
-	
+
         <child>
           <object class="PsppireButtonbox" id="options-buttonbox">
             <property name="orientation">vertical</property>
@@ -252,9 +252,9 @@
             <property name="position">1</property>
           </packing>
         </child>
-	
+
       </object>
     </child>
-    
+
   </object>
 </interface>