From 490684d4a950314576e53a70c5ab5dfa660b8855 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 8 Sep 2007 09:44:37 +0000 Subject: [PATCH] remove spurious comment --- .../software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli index 7571ef3d2..ff3467235 100644 --- a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli +++ b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli @@ -25,9 +25,7 @@ * For more information, please send an email to {sacerdot,zack}@cs.unibo.it *) -(* processStylesheet stylesheet *) -(* Process a stylesheet so that it can be subsequently used *) -(* with applyStylesheet. *) +(** Main interface to GDome XSLT functionalities *) (** processStylesheet stylesheet * -- 2.39.2