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