]> matita.cs.unibo.it Git - helm.git/blob - http_constants.mli
projects / helm.git / blob
? search:


aeaa9a57ad9a4cb2f62fb075b416aa48c98e0c33
[helm.git] / http_constants.mli
1 val version: Http_types.version
2 val server_string: string
3 val crlf: string
Unnamed repository; edit this file 'description' to name the repository.