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/manual | |
| parent | 259ff74bdeeaac5a987a4eb88654ba80d9553543 (diff) | |
When completing flakerefs, only return directories
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions