fix

[helm.git] / helm / matita_homepage / developers.html
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html

index e962a0e5af08d05839701a191c9738b3bc40a80d..f6d9ab18137de50f7f8790214524db44fd8fdf6c 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -3,6 +3,9 @@
    <title>Matita home page - developers</title>
   </head>
   <style>
+
+ 
+ 
   </style>
  
    <body>