Lines Matching defs:base_name
3029 base_name(String& s)3117 db.names.push_back(base_name(db.names.back().first));3132 db.names.push_back("~" + base_name(db.names.back().first));
