]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/lambda.xsl
name fix due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)
[helm.git] / helm / style / lambda.xsl
index 5dfb30a99dcf47461f1f90e6222318b0d6f752fc..28c876fa07cc55716f8da82a9ad3144c31892001 100644 (file)
 </xsl:template>
 
 </xsl:stylesheet>
-
-