X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fhelm-proto.hrc;h=90b6235429c14872f5c9ba0072f8feeedf68945d;hb=dcde2b362a4106e36623d25e6a2d26dffac61848;hp=f678424528e79a5e66e5172d58ea04c2ed7c7433;hpb=228d207d77101f153312e1c2cef1b8f2b5ec329f;p=helm.git
diff --git a/helm/www/matita/helm-proto.hrc b/helm/www/matita/helm-proto.hrc
index f67842452..90b623542 100644
--- a/helm/www/matita/helm-proto.hrc
+++ b/helm/www/matita/helm-proto.hrc
@@ -17,6 +17,8 @@
/\.ma$/i
-
+
+
+