Home
last modified time | relevance | path

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

/Zephyr-latest/doc/_extensions/zephyr/
Dexternal_content.py103 to_delete = set(f for f in srcdir.glob("**/*") if not f.is_dir())
125 if dst in to_delete:
126 to_delete.remove(dst)
160 for file in to_delete - to_keep: