Searched refs:file_filter (Results 1 – 1 of 1) sorted by relevance
59 def find(dir, file_filter=None): argument61 if file_filter is not None:62 files = filter(files, file_filter)