]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/hmysql/hMysql.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / hmysql / hMysql.ml
index c7bfb325e5c2d1951a26ef68d1d257e7f78fb730..94f3efe03fb97b2bc80f596534fbc3878aebb92d 100644 (file)
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 type dbd = Mysql.dbd option 
 type result = Mysql.result option
 type error_code = Mysql.error_code