]> matita.cs.unibo.it Git - helm.git/commit
cma names parameterized in configure @PACKAGE@ variable
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:37:55 +0000 (13:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:37:55 +0000 (13:37 +0000)
commit30c40580c04228f91a8c009a709108a55520b035
tree2bdf5600500bc2c220283d4ee1544753c737ae37
parente4282f304d92e5c6e1617d53bc5ce8959af0d1d0
cma names parameterized in configure @PACKAGE@ variable
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in