]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 770bf41) | patch
added cvsignores
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:27:57 +0000 (21:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:27:57 +0000 (21:27 +0000)
commit6f072a6856b9e27327e34a4babfbdaf59218cd7d
tree13e8e918b612924d8a224794a05603dbc3cacb83tree | snapshot
parent770bf4189e7bf6edb6d7addff7cd65c1b66c9602commit | diff
added cvsignores
helm/DEVEL/ocaml-http/mt/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/ocaml-http/non_mt/.cvsignore [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.