From 0e09861c06a0c274bcfdacceaee347f8aaa969cb Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 17 Oct 2007 16:19:44 +0100
Subject: Removed $Id$ everywhere. 'make distclean' now cleans more files.

---
 virt-df/virt_df_ext2.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'virt-df/virt_df_ext2.ml')

diff --git a/virt-df/virt_df_ext2.ml b/virt-df/virt_df_ext2.ml
index f58491a..a4e6f86 100644
--- a/virt-df/virt_df_ext2.ml
+++ b/virt-df/virt_df_ext2.ml
@@ -1,5 +1,4 @@
 (* 'df' command for virtual domains.
- * $Id$
  *
  * Support for EXT2/EXT3 filesystems.
  *)
-- 
cgit