]> matita.cs.unibo.it Git - helm.git/commit
.cvsignore improved
authorlordi <??>
Wed, 22 May 2002 17:46:08 +0000 (17:46 +0000)
committerlordi <??>
Wed, 22 May 2002 17:46:08 +0000 (17:46 +0000)
commit4eb511509f839188c4f368647fc8fb8be49539ff
tree6d80f7c4324055da3b7e3068ba3a4bd278603e9d
parent8abd42ec1af0d5daef1d026ec550b49b07de8340
.cvsignore improved
helm/ocaml/.cvsignore
helm/ocaml/mathql/.cvsignore [new file with mode: 0644]