]> git.ipfire.org Git - thirdparty/mtr.git/commitdiff
Merge pull request #267 from benw01/ui-notes-in-man-page
authorRoger Wolff <R.E.Wolff@BitWizard.nl>
Fri, 24 Aug 2018 07:10:20 +0000 (09:10 +0200)
committerGitHub <noreply@github.com>
Fri, 24 Aug 2018 07:10:20 +0000 (09:10 +0200)
renamed NOTES to INTERACTIVE CONTROL as per discussion in pull request


Trivial merge