diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-07-15 23:42:51 +1000 |
|---|---|---|
| committer | Jim Mussared <jim.mussared@gmail.com> | 2022-09-05 17:06:52 +1000 |
| commit | e9a28ce312b75a4f2b3b7a8c3e38b7766cb567b3 (patch) | |
| tree | 34794de3491a194a49812d6f5edb2ab5d3f278f3 /docs/pyboard/tutorial | |
| parent | 6bd0ec7a70496dc51d8dc6c706919ef398b0346e (diff) | |
tools/manifestfile.py: Allow include of directory path.
If an include path is a directory, then it implicitly grabs the manifest.py
file inside that directory. This simplifies most manifest.py files.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'docs/pyboard/tutorial')
0 files changed, 0 insertions, 0 deletions