Searched refs:preferred_separator_string (Results 1 – 2 of 2) sorted by relevance
614 static const char preferred_separator_string[] = { preferred_separator, '\0' }; variable617 return preferred_separator_string; in get_separator()