]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_logger.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / getter / http_getter_logger.ml
index f77b5eba86613f30b3c09c1b65fe9a0bccfef617..1d774c10287bd6fbc611dc0e1b46a0b1bcc32652 100644 (file)
@@ -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