]> matita.cs.unibo.it Git - helm.git/commit - helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ab0c11) | patch
debian release 0.0.4-2:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:10:52 +0000 (15:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:10:52 +0000 (15:10 +0000)
commit6f6b8f33397548319fef9b374f9e9017e7fa151d
tree3f894008db4867d63b9504bb4abe9400e7fb7e73tree | snapshot
parent7ab0c11985ab4caf44ef42e01c4eb0b5bde77913commit | diff
debian release 0.0.4-2:
- installs also i_gdome_xslt.cmi
helm/DEVEL/gdome_xslt/debian/changelog diff | blob | history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.