diff options
Diffstat (limited to 'virt-df/virt_df_lvm2_metadata.mli')
-rw-r--r-- | virt-df/virt_df_lvm2_metadata.mli | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/virt-df/virt_df_lvm2_metadata.mli b/virt-df/virt_df_lvm2_metadata.mli deleted file mode 100644 index 778f393..0000000 --- a/virt-df/virt_df_lvm2_metadata.mli +++ /dev/null @@ -1,38 +0,0 @@ -(* 'df' command for virtual domains. - (C) Copyright 2007-2008 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. - *) - -(* Part of the parser for LVM2 metadata. *) - -type metadata = metastmt list - -and metastmt = string * metavalue - -and metavalue = - | Metadata of metadata (* name { ... } *) - | String of string (* name = "..." *) - | Int of int64 - | Float of float - | List of metavalue list (* name = [...] *) - -val output_metadata : out_channel -> metadata -> unit -(** This function prints out the metadata on the selected channel. - - The output format isn't particularly close to the input - format. This is just for debugging purposes. -*) |