diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-02-13 11:26:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-13 11:26:38 +0100 |
| commit | 2037f8a3ee55406e743d81b4d09fed24fe846082 (patch) | |
| tree | be647f85698e6fc268e91b6a715882d029668dd5 /src/build-remote | |
| parent | c18456604601dd233be4ad2462474488ef8f87e3 (diff) | |
| parent | 30edd7af532bb893f76d5d4e7ec0fadfcdc941c6 (diff) | |
Merge pull request #7804 from PJungkamp/fix-completions
Infer short completion descriptions for commandline flags
Diffstat (limited to 'src/build-remote')
0 files changed, 0 insertions, 0 deletions