]> matita.cs.unibo.it Git - helm.git/commit
patch
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Apr 2003 11:08:01 +0000 (11:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Apr 2003 11:08:01 +0000 (11:08 +0000)
commit5894bf1c1e2ce596282fddd89e3983c9a87223e7
treed4550ca172dfafaf12d09ba3e7df6d3d282d116a
parenta69b6f01bfeda05c431325a5defb5c5592427791
patch
helm/ocaml/.cvsignore