summaryrefslogtreecommitdiffstats
path: root/virt-top/virt_top_calendar1.ml
diff options
context:
space:
mode:
authorrjones@thinkpad <rjones@thinkpad>2008-04-17 11:13:39 +0100
committerrjones@thinkpad <rjones@thinkpad>2008-04-17 11:13:39 +0100
commit5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8 (patch)
tree6774d8d7c9fb2ec1b6f4b5913636f5e36af1dae2 /virt-top/virt_top_calendar1.ml
parentf9d99e63272520c19bddc9e4b47731d57e5658e2 (diff)
parentf5f45d38269842b591a89ccaf2e6af7879d57aab (diff)
downloadvirt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.zip
virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.gz
virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.xz
Merge.
Diffstat (limited to 'virt-top/virt_top_calendar1.ml')
-rwxr-xr-xvirt-top/virt_top_calendar1.ml4
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 ->