]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_env.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / getter / http_getter_env.ml
index c12709dcc562c652d41e09baac1547f44b033072..764416cea0c5506cb6a71693887c1748b6d60b1d 100644 (file)
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 open Http_getter_types