X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foptions.ui;h=c5c64741e2435d47a1e7c858582ac7d45aa00a15;hb=f1ae4ee2876bee191b1bf79672d4bf834750c227;hp=87ca037102b52ef458d3755536b61c4135546c2f;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp

diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui
index 87ca037102..c5c64741e2 100644
--- a/src/ui/gui/options.ui
+++ b/src/ui/gui/options.ui
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <!-- PSPP - a program for statistical analysis. -->
 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
 
@@ -14,7 +15,6 @@
 <!-- You should have received a copy of the GNU General Public License -->
 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
 
-<?xml version="1.0" encoding="UTF-8"?>
 <!-- Generated with glade 3.18.3 -->
 <interface>
   <requires lib="gtk+" version="3.4.2"/>
@@ -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>