diff options
| author | Waldir Pimenta <waldyrious@gmail.com> | 2016-08-16 15:54:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-16 15:54:24 +0100 |
| commit | 35e1d6d9f70227e6dda6337276af909a92cd99d2 (patch) | |
| tree | efff7bea7efacdc0393a2698a9290b59da64d354 /lib | |
| parent | 3a44ee62c064428b57c64de750ac9ae27bc930cf (diff) | |
synchronize spacing of footnotes in help output
- remove a space between `[` and `*` in the list of input formats, to match the list of output formats
- add space after the `*`s, for improved readability
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions