summaryrefslogtreecommitdiffstats
path: root/virt-df/virt_df_linux_swap.ml
diff options
context:
space:
mode:
authorRichard W.M. Jones <rjones@redhat.com>2007-10-17 16:34:23 +0100
committerRichard W.M. Jones <rjones@redhat.com>2007-10-17 16:34:23 +0100
commit9bb5f67c0d8a6e8dad7de72e2488ee73c90f7d43 (patch)
tree6018351784418e4ae965f353c4e96719c4009a5e /virt-df/virt_df_linux_swap.ml
parent0e09861c06a0c274bcfdacceaee347f8aaa969cb (diff)
downloadvirt-top-9bb5f67c0d8a6e8dad7de72e2488ee73c90f7d43.tar.gz
virt-top-9bb5f67c0d8a6e8dad7de72e2488ee73c90f7d43.tar.xz
virt-top-9bb5f67c0d8a6e8dad7de72e2488ee73c90f7d43.zip
Added GNU GPL/LGPL copyright notices everywhere.
Fixed display of time which was accidentally broken in previous code move.
Diffstat (limited to 'virt-df/virt_df_linux_swap.ml')
-rw-r--r--virt-df/virt_df_linux_swap.ml23
1 files changed, 20 insertions, 3 deletions
diff --git a/virt-df/virt_df_linux_swap.ml b/virt-df/virt_df_linux_swap.ml
index 7fbad7f..4638828 100644
--- a/virt-df/virt_df_linux_swap.ml
+++ b/virt-df/virt_df_linux_swap.ml
@@ -1,7 +1,24 @@
(* 'df' command for virtual domains.
- *
- * Support for Linux swap partitions.
- *)
+
+ (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.
+
+ Support for Linux swap partitions.
+*)
(* Int64 operators for convenience. *)
let (+^) = Int64.add