]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35be38f) | patch
- added .cvsignore
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:35:16 +0000 (15:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:35:16 +0000 (15:35 +0000)
commit65691806f2e187622f9fcceac0cd66f3f7ed7ba0
tree2c81b3bf31720d84eb00a1b3761c8e9fe002c7b4tree | snapshot
parent35be38f22657bf00344e34fe75d7f3a5283832c1commit | diff
- added .cvsignore
- removed test.ml (which has been promoted to extractor.ml)
helm/ocaml/metadata/extractor/.cvsignore [new file with mode: 0644] blob
helm/ocaml/metadata/table_creator/.cvsignore [new file with mode: 0644] blob
helm/ocaml/metadata/test.ml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.