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