]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/versions.tbl
- update in basic_2
[helm.git] / helm / www / lambdadelta / web / home / versions.tbl
index d89ffd340374e4caf388e45f80463688eaa750dc..28f07f94e9f2bcb723b6a847c1827b2e885b2ae9 100644 (file)
@@ -44,4 +44,4 @@ class "top"               { * }
 
 class "capitalize italic" [ 0 ]
 
-ext   ".html"             { 0 }
+ext   ".html"             { * }