]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/test.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / utf8_macros / test.ml
index 7e1a48373033d6c2848065f2055bbd81ea34a7d0..8f98bfd44f3cf3682240e6d9d82a504435f843f2 100644 (file)
@@ -1 +1,3 @@
+(* $Id$ *)
+
 prerr_endline <:unicode<lambda>>