Merge pull request #13753 from keszybz/change-man-ordering
authorYu Watanabe <watanabe.yu+github@gmail.com>
Wed, 9 Oct 2019 05:51:06 +0000 (14:51 +0900)
committerGitHub <noreply@github.com>
Wed, 9 Oct 2019 05:51:06 +0000 (14:51 +0900)
commitd3d1aeaf8e0c5f60db8b69314aba27f7f654c72e
tree35c024913e853cafae6044eece3b4af543af08ad
parent889ee820325fc6d41135bb9d23ac726a8bae3576
parentce2529b4a26feba7b3b4a9802acccb0c002792bc
Merge pull request #13753 from keszybz/change-man-ordering

Change section ordering to have commands above options