Searched defs:folder (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ | ||
| D | make_configuration_directories.py | 100 def process(folder, files): argument |
| D | ninja.py | 177 def get_entry(folder): argument |
Searched defs:folder (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ | ||
| D | make_configuration_directories.py | 100 def process(folder, files): argument |
| D | ninja.py | 177 def get_entry(folder): argument |