MonthNameShort    198 ext/calendar/calendar.c 	 MonthNameShort, MonthNameLong},
MonthNameShort    200 ext/calendar/calendar.c 	 MonthNameShort, MonthNameLong},
MonthNameShort    730 ext/calendar/calendar.c 		monthname = MonthNameShort[month];
MonthNameShort    747 ext/calendar/calendar.c 		monthname = MonthNameShort[month];
MonthNameShort    238 ext/calendar/gregor.c char *MonthNameShort[13] =
MonthNameShort     73 ext/calendar/sdncal.h extern char *MonthNameShort[13];