]> git.ipfire.org Git - thirdparty/mtr.git/commit
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)
commit7d3e1293cca157529c2c44d381d1d010a2da23cc
tree6576c633d3762481b44d1bf92ec1715d2853abc1
parent9b313de822f76db77c567d69da0c33cc47b29379
parenta32bb3a723d0389d2d7375b4872359b702aaadfb
Merge pull request #267 from benw01/ui-notes-in-man-page

renamed NOTES to INTERACTIVE CONTROL as per discussion in pull request