diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-10 03:18:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-10 01:18:56 +0000 |
commit | 1db584888d88b575f8929ffa0bed31e2c62b5e2d (patch) | |
tree | 69558abf969a84f85c80e69a8e610e47a7f0cefd /AUTHORS | |
parent | b334cf09f05b11150f5e1e7a915346e0d753841d (diff) |
Refactor command-line help (#7157)
This PR refactors how we generate the command-line help message.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions