]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_const.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / getter / http_getter_const.ml
index 00fff4f378f815e8a2668c0d4f11b131e488dbf2..8103efcfa3cbffb8adb96d40f8abb2184227eb12 100644 (file)
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf;;
 
 let version = "0.4.0"