]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIConn.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.ml
index aaf16fac4c0c692c037eaa793b58c80a7c734622..270d1f9d0cd1eee283fc25bd6de052c656277835 100644 (file)
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 type connection = MySQL_C    of HMysql.dbd
                 | Postgres_C of Postgres.connection
                | No_C