]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b62ec2) | patch
hgdome and xmldiff no longer compiled
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 13:25:09 +0000 (13:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 13:25:09 +0000 (13:25 +0000)
commit4829e693f115e4f6eacaa81d971e8730a4a4833a
tree737034b60eec36e7a94bb9cde184c24f0ea9008ftree | snapshot
parent9b62ec2029bf81a9116ce1eafcaae5c1f9c711cacommit | diff
hgdome and xmldiff no longer compiled
helm/ocaml/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.