Home | History | Annotate | Download | only in tools

Lines Matching refs:file_type

107         file_type, string_proplist = propline.split("=", 1)
111 file_type = file_type.strip()
112 file_type = file_type.replace(".", "\.")
113 file_type = file_type.replace("*", ".*")
114 file_type = file_type + "$"
135 file_types.append((file_type, proplist))