- ld-html-root: ported to permanent lambda-delta url

[helm.git] / helm / software / lambda-delta / src / xml / xmlLibrary.mli

diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.mli b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
index ebd4157d9f0d0567134b4210b975be3c64306f37..5fd4dc38bbdd59cc350983144def2bcbac8e5ad8 100644 (file)
--- a/helm/software/lambda-delta/src/xml/xmlLibrary.mli
+++ b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
@@ -54,3 +54,6 @@ val name: Entity.attrs -> attr
 val mark: Entity.attrs -> attr
 
 val meta: Entity.attrs -> attr
+
+val info: Entity.attrs -> attr list
+