]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbe1642) | patch
removed .annot files (files containing type annotations generated with ocamlc -dtypes)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 16:33:28 +0000 (16:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 16:33:28 +0000 (16:33 +0000)
commit38272d3c6e667ca951d630a728a0aca968536215
tree324f498f7b26df0adc156897f04688a2225245d1tree | snapshot
parentdbe1642d535ef1bc3f673b342a02daf861f4f438commit | diff
removed .annot files (files containing type annotations generated with ocamlc -dtypes)
helm/ocaml/Makefile.common.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.