diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-05-11 22:04:13 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-05-11 22:04:13 +0200 |
commit | 27d34ef770356f86823ca832f278e72bb0a07982 (patch) | |
tree | a1ab41c459a1d01057513b5db309b50963f0e765 /doc | |
parent | 259ff74bdeeaac5a987a4eb88654ba80d9553543 (diff) |
When completing flakerefs, only return directories
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions