diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-03-03 17:32:21 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-03-03 17:44:35 +0100 |
| commit | e984029cd1988d9c660d46b51e866e0296ee227a (patch) | |
| tree | 1e84c815658c06573d1c5a11454008f0319d9cf1 /examples/help_grep.py | |
| parent | 81597fd6beade40901e064954700166b855dcb12 (diff) | |
Accept existing directory with no auto.conf in sync_deps()
An initial empty auto.conf will be created, just as when sync_deps()
creates the directory.
This is more flexible. There's no good reason to require the directory
to be created by sync_deps().
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions