From def31744f996fecdb187d43de38ddae2ff3ab881 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Mon, 15 Oct 2012 17:50:56 +0000
Subject: remove all $Id keywords

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 tools/profiling.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'tools/profiling.mli')

diff --git a/tools/profiling.mli b/tools/profiling.mli
index 61be2be760..baedc24107 100644
--- a/tools/profiling.mli
+++ b/tools/profiling.mli
@@ -12,8 +12,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
-
 (* Run-time library for profiled programs *)
 
 val counters: (string * (string * int array)) list ref;;
-- 
cgit v1.2.1