diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2008-03-28 17:30:32 +0000 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2008-03-28 17:30:32 +0000 |
commit | 46d3772c9a5cf786fa4fbdb2ba29512580101f32 (patch) | |
tree | 03c5f2e2231f915c6a269f48ccbcab78345d187f /virt-top/virt_top_calendar1.ml | |
parent | 4edc7905c404a3fe2caaee773630874786b21b4d (diff) | |
download | virt-top-46d3772c9a5cf786fa4fbdb2ba29512580101f32.tar.gz virt-top-46d3772c9a5cf786fa4fbdb2ba29512580101f32.tar.xz virt-top-46d3772c9a5cf786fa4fbdb2ba29512580101f32.zip |
Internationalize virt-top.
Diffstat (limited to 'virt-top/virt_top_calendar1.ml')
-rwxr-xr-x | virt-top/virt_top_calendar1.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/virt-top/virt_top_calendar1.ml b/virt-top/virt_top_calendar1.ml index 438a791..779e62b 100755 --- a/virt-top/virt_top_calendar1.ml +++ b/virt-top/virt_top_calendar1.ml @@ -20,7 +20,9 @@ *) open Printf -open ExtString ;; +open ExtString + +open Virt_top_gettext.Gettext ;; Virt_top.parse_date_time := fun time -> |