X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_logger.ml;h=1d774c10287bd6fbc611dc0e1b46a0b1bcc32652;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=f77b5eba86613f30b3c09c1b65fe9a0bccfef617;hpb=eed9cd448726bb9db34ac69e8e137460e691bcfc;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_logger.ml b/helm/ocaml/getter/http_getter_logger.ml
index f77b5eba8..1d774c102 100644
--- a/helm/ocaml/getter/http_getter_logger.ml
+++ b/helm/ocaml/getter/http_getter_logger.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let log_level = ref 1
 let get_log_level () = !log_level
 let set_log_level l = log_level := l