From bd6e68f4ef7bac1e9729b875f944048b394e71af Mon Sep 17 00:00:00 2001
From: monate
Date: Wed, 5 Mar 2003 12:17:18 +0000
Subject: CoqIde: Install.ide Revert bugfix.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3741 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/utils/configwin_ihm.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide/utils')

diff --git a/ide/utils/configwin_ihm.ml b/ide/utils/configwin_ihm.ml
index 3b26312658..f6c4e6daad 100644
--- a/ide/utils/configwin_ihm.ml
+++ b/ide/utils/configwin_ihm.ml
@@ -15,6 +15,7 @@ open Configwin_types
 
 module O = Uoptions
 
+
 (** The file where the html config is. *)
 let file_html_config = Filename.concat Configwin_messages.home ".configwin_html"
   
@@ -37,6 +38,7 @@ let html_config_file_and_option () =
   O.load ini ;
   (ini, bindings)
 
+
 (** This variable contains the last directory where the user selected a file.*)
 let last_dir = ref "";;
 
-- 
cgit v1.2.3