Searched defs:default_prefix (Results 1 – 1 of 1) sorted by relevance
382 const char *default_prefix = "[default: "; in print_default() local446 const char *default_prefix = "[default: "; in print_default_flags() local