Commit 3147cbba authored by Nick Mathewson's avatar Nick Mathewson 🎻
Browse files

Merge remote-tracking branch 'tor-github/pr/1728/head' into maint-0.4.3

parents e0ea7407 0ab859aa
o Documentation (manpage):
- Alphabetize the Server and Directory server sections of the tor
manpage. Also split Statistics options into their own section
of the manpage. Closes ticket 33188. Work by Swati Thacker as
part of Google Season of Docs.
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment