]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33b0056) | patch
do not .body/.types/.proof_tree files from ls output
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 12:10:53 +0000 (12:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 12:10:53 +0000 (12:10 +0000)
commitf5ec5f0dd0b2fb5aa8ee8e2c0c734bc2c1a19955
tree1ced14c2c2e78468097cbb7a140a24d16e920308tree | snapshot
parent33b0056f5db298388df8fd66b72cd46e5839bf23commit | diff
do not .body/.types/.proof_tree files from ls output
helm/ocaml/getter/http_getter.ml diff | blob | history
helm/ocaml/getter/http_getter.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.