Home | History | Annotate | Download | only in tools

Lines Matching refs:file_type

105         file_type, string_proplist = propline.split("=", 1)
109 file_type = file_type.strip()
110 file_type = file_type.replace(".", "\.")
111 file_type = file_type.replace("*", ".*")
112 file_type = file_type + "$"
127 file_types.append((file_type, proplist))