diff options
author | Nick Mathewson <nickm@torproject.org> | 2014-06-16 11:15:47 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2014-06-16 11:15:47 -0400 |
commit | 2f4fcfc8d14bfae233b1485fd171cc48d6d79fdb (patch) | |
tree | 4d154d77219d1748b241a599ebec6492952702e8 /scripts/maint/format_changelog.py | |
parent | 9b10d7a7dd822af0584474285d00c8228fbdbb82 (diff) | |
download | tor-2f4fcfc8d14bfae233b1485fd171cc48d6d79fdb.tar.gz tor-2f4fcfc8d14bfae233b1485fd171cc48d6d79fdb.zip |
manpage: Move more authority-only options into the authority section
I don't know whether we missed these or misclassified them when we
first made the "DIRECTORY AUTHORITY SERVER OPTIONS" section, but they
really belong there.
Diffstat (limited to 'scripts/maint/format_changelog.py')
0 files changed, 0 insertions, 0 deletions