Searched refs:prefered_separator (Results 1 – 1 of 1) sorted by relevance
27 const char prefered_separator = '\\'; variable30 const char prefered_separator = '/'; variable387 path.push_back(prefered_separator); in append()