]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de52688) | patch
removed gdom2 dep
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 7 Jul 2005 08:08:08 +0000 (08:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 7 Jul 2005 08:08:08 +0000 (08:08 +0000)
commit98016b0996c55891b7fbf85d0ead98235441b14f
tree387b5205093074da0348d13ab1fa1a41abe4fed8tree | snapshot
parentde52688df43376ca0293a5996c35d54e6832e4decommit | diff
removed gdom2 dep
helm/ocaml/METAS/meta.helm-cic_transformations.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.