]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a80860) | patch
added .cvsignore
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 7 Mar 2003 18:06:54 +0000 (18:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 7 Mar 2003 18:06:54 +0000 (18:06 +0000)
commit29c5eaa7408d2e35805817d50c4e0bc93f100e1e
treec303f779fa352c41a34aad32077f2533df7a0097tree | snapshot
parent5a80860a63d656e3737f9ad383b300166cdecaa9commit | diff
added .cvsignore
helm/ocaml/mquery_generator/.cvsignore [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.