]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f6b8f3) | patch
installs also i_gomde_xslt.mli
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:12:08 +0000 (15:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:12:08 +0000 (15:12 +0000)
commitb12bb27f927ba6144ad36b4ae09ce757b92dbb7a
treeef0257c055c8e83fb5fa126094720cc2bbd4e309tree | snapshot
parent6f6b8f33397548319fef9b374f9e9017e7fa151dcommit | diff
installs also i_gomde_xslt.mli
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.