diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-26 18:51:46 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-26 19:02:09 +0100 |
| commit | 9ed14815d8f2fd0dc3b91a65e85cec43a8b5f0ef (patch) | |
| tree | 751ac494d6d48ba790eb087ffd69f450e87f3358 /.github | |
| parent | 53644df55d0347578be73ba3f4da5bfb6db65223 (diff) | |
Linux: Sync man page with current --help output
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions