diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-28T17·14+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-28T17·14+0100 |
| commit | 2715591c970b6318c970a12919cc3f1c0e1e889d (patch) | |
| tree | 407fb8806150b85f6db166fc4f39153ff0e56bda /ci | |
| parent | 9c820e663ff07145f34637facd6a018e753e50b4 (diff) | |
Call readTree on all top-level, visible directories in briefcase
Instead of manually maintaining the list of directories that I expose to readTree, I'm using `builtins.readDir` to get a list of all non-hidden top-level directories.
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions