Searched refs:default_monthformat (Results 1 – 1 of 1) sorted by relevance
1241 const char default_monthformat[] = "ARABICMONTH"; in format_pubdate() local1429 item_monthformat = default_monthformat; in format_pubdate()