]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 30c4058)
changed package name to gdome2-xslt
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:38:17 +0000 (13:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:38:17 +0000 (13:38 +0000)
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in patch | blob | history

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in
index 40b2cab2d9bdac580906d890ef9f9b67e6f7d4ad..fb5ff9cff817ff95db82316d87b676ccc0a98575 100644 (file)
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in
@@ -1,6 +1,6 @@
 AC_INIT(gdome_xslt.ml)
 
-PACKAGE=gdome_xslt
+PACKAGE=gdome2-xslt
 
 GDOMEXSLT_MAJOR_VERSION=0
 GDOMEXSLT_MINOR_VERSION=0
Unnamed repository; edit this file 'description' to name the repository.