X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fnetplex.conf;h=ccd9119a3a3e132b61c034c32567d8124a5e41ed;hb=3b88d145e26b75f54ac6271a196c1ef315376123;hp=5e947c28b3cb928f0ea01d121e1d38609247723b;hpb=54f0752c831479f87d61afcdfdafd2a35edb4053;p=helm.git

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 5e947c28b..ccd9119a3 100644
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -135,4 +135,3 @@ netplex {
   }
 }
 
-