X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=8103efcfa3cbffb8adb96d40f8abb2184227eb12;hb=9262517c80e17d46b9bf9931dc879ac653a633e9;hp=00fff4f378f815e8a2668c0d4f11b131e488dbf2;hpb=a469edc9d2225c0f96546fbc45049ebfcc9228ad;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index 00fff4f37..8103efcfa 100644 --- a/helm/ocaml/getter/http_getter_const.ml +++ b/helm/ocaml/getter/http_getter_const.ml @@ -26,6 +26,8 @@ * http://helm.cs.unibo.it/ *) +(* $Id$ *) + open Printf;; let version = "0.4.0"