From 0e09861c06a0c274bcfdacceaee347f8aaa969cb Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 17 Oct 2007 16:19:44 +0100 Subject: Removed $Id$ everywhere. 'make distclean' now cleans more files. --- virt-top/virt_top_utils.ml | 1 - 1 file changed, 1 deletion(-) (limited to 'virt-top/virt_top_utils.ml') diff --git a/virt-top/virt_top_utils.ml b/virt-top/virt_top_utils.ml index 3a0c4ba..207ba4f 100644 --- a/virt-top/virt_top_utils.ml +++ b/virt-top/virt_top_utils.ml @@ -1,5 +1,4 @@ (* 'top'-like tool for libvirt domains. - * $Id: virt_top.ml,v 1.5 2007/08/30 13:52:40 rjones Exp $ *) let (//) = Filename.concat -- cgit