]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ffc56c) | patch
added GPL preamble
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Feb 2003 20:47:29 +0000 (20:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Feb 2003 20:47:29 +0000 (20:47 +0000)
commit86751d7b1e404034ac02244aad47f1bf29d9c46b
tree8255f1fb44df1a9497fb4e6568d920ac9b899889tree | snapshot
parent5ffc56c57658a59ff7e98e176cac5212d12ec5cdcommit | diff
added GPL preamble
helm/DEVEL/ocaml-http/http_constants.ml diff | blob | history
helm/DEVEL/ocaml-http/http_parser_sanity.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.