Home
last modified time | relevance | path

Searched refs:is_pruned_dir (Results 1 – 1 of 1) sorted by relevance

/external/jsoncpp/devtools/
Dantglob.py108 def is_pruned_dir( dir_name ): function
129 if is_dir and not is_pruned_dir( entry ): # explore child directory ?