diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-03 16:31:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-03 16:31:59 +0100 |
| commit | a262524a43d7468c48cb4f7d5b79dfa90d308ae1 (patch) | |
| tree | 3ff67710c1f987b77888d15bd8bcec9b9de4182c /tools | |
| parent | 0cc8a641ce09e2dcf6224e135280030727bd34a1 (diff) | |
| parent | c34aa331ec2dc9d77ce5f7032af750a0693527a2 (diff) | |
Merge pull request #7029 from timroes/master
Fix typos and missing newlines in --help
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions