- int hour;
- char calhourformat[16];
- static char *ascmonths[12] = { NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL } ;
-
- if (ascmonths[0] == NULL) {
- ascmonths[0] = _("Jan");
- ascmonths[1] = _("Feb");
- ascmonths[2] = _("Mar");
- ascmonths[3] = _("Apr");
- ascmonths[4] = _("May");
- ascmonths[5] = _("Jun");
- ascmonths[6] = _("Jul");
- ascmonths[7] = _("Aug");
- ascmonths[8] = _("Sep");
- ascmonths[9] = _("Oct");
- ascmonths[10] = _("Nov");
- ascmonths[11] = _("Dec");
- };
-
- get_preference("calhourformat", calhourformat, sizeof calhourformat);