]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/logger/helmLogger.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / logger / helmLogger.ml
index 7a1e63483e76e6d319d54b0a5f46773fd925d69d..c41674754fea271f1f9d6d38a3913089fa8bb599 100644 (file)
@@ -1,3 +1,4 @@
+(* $Id$ *)
 
 open Printf