]> git.ipfire.org Git - thirdparty/mtr.git/commitdiff
Merge pull request #266 from benw01/ui-notes-in-man-page
authorRoger Wolff <R.E.Wolff@BitWizard.nl>
Thu, 23 Aug 2018 07:06:55 +0000 (09:06 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 07:06:55 +0000 (09:06 +0200)
added UI hotkeys to NOTES section in man page


Trivial merge