X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaInit.ml;h=58aadf76f45c2d85b6a55603e72ca42692d355cf;hb=fa0347cc0a604ba8743da9479117e1f13ab60482;hp=350d332ffda20e408210f01ff5e5b5e8a796a7bf;hpb=e5141edaab98baafa31173da8164fa5d87b808c5;p=helm.git

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index 350d332ff..58aadf76f 100644
--- a/matita/matitaInit.ml
+++ b/matita/matitaInit.ml
@@ -45,7 +45,7 @@ let conffile = ref BuildTimeConf.matita_conf
 let registry_defaults = [
   "matita.debug",                "false";
   "matita.external_editor",      "gvim -f -c 'go %p' %f";
-  "matita.preserve",             "false";
+  "matita.preserve",             "false"; (* FIXME, inutile pure lei *)
   "matita.profile",              "true";
   "matita.system",               "false";
   "matita.verbose",              "false";