Matitaweb: Fixed netplex.conf (which was changed by mistake in the previous commit).

[helm.git] / matitaB / matita / netplex.conf

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 5e947c28b3cb928f0ea01d121e1d38609247723b..ccd9119a3a3e132b61c034c32567d8124a5e41ed 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -135,4 +135,3 @@ netplex {
   }
 }
 
-