]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/xml/xmlPushParser.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / xml / xmlPushParser.ml
index 6cab0ead3c6980aee30f001808c068ff5b440e5b..4f57e124227b398d68fc88e2078be5a9796740a1 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let gzip_bufsize = 10240
 
 type callbacks = {