diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-01-25 14:38:15 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2021-01-25 14:38:15 +0100 |
| commit | b159d23800eec55412621a0b3e6c926a1dbb1755 (patch) | |
| tree | 2d9e4b911548c7f1668bdd507a8757cd70658445 /.github | |
| parent | 488a826842296c9c2933fb53cc884ed8518f9110 (diff) | |
Make '--help' do the same as 'help' (i.e. show a manpage)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions