Searched defs:dolnum (Results 1 – 2 of 2) sorted by relevance
1936 int dolnum = pt[1] - '0'; in matching_file_name_substitute() local
2109 int dolnum = pt[1] - '0'; in matching_file_name_substitute() local