diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-01 20:31:39 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-01 20:31:39 +0200 |
| commit | 6ff9aa8df7ce8266147f74c65e2cc529a1e72ce0 (patch) | |
| tree | 204905fe5f1e570ad7f42e75df8d2b9a72fbef6e /src/nix/develop.cc | |
| parent | d746503e5c6fafd0fb6b2a4e6527c12cfc626637 (diff) | |
Don't process an option if any of its arguments need completion
Diffstat (limited to 'src/nix/develop.cc')
0 files changed, 0 insertions, 0 deletions