diff options
| author | rjones@thinkpad <rjones@thinkpad> | 2008-04-17 11:13:39 +0100 |
|---|---|---|
| committer | rjones@thinkpad <rjones@thinkpad> | 2008-04-17 11:13:39 +0100 |
| commit | 5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8 (patch) | |
| tree | 6774d8d7c9fb2ec1b6f4b5913636f5e36af1dae2 /virt-df/virt_df_main.ml | |
| parent | f9d99e63272520c19bddc9e4b47731d57e5658e2 (diff) | |
| parent | f5f45d38269842b591a89ccaf2e6af7879d57aab (diff) | |
| download | virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.gz virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.xz virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.zip | |
Merge.
Diffstat (limited to 'virt-df/virt_df_main.ml')
| -rwxr-xr-x | virt-df/virt_df_main.ml | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/virt-df/virt_df_main.ml b/virt-df/virt_df_main.ml deleted file mode 100755 index bc4096b..0000000 --- a/virt-df/virt_df_main.ml +++ /dev/null @@ -1,20 +0,0 @@ -(* 'df' command for virtual domains. - (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc. - http://libvirt.org/ - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2 of the License, or - (at your option) any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software - Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. - *) - -let () = Virt_df.main () |