diff options
| author | David Goulet <dgoulet@torproject.org> | 2020-07-21 15:15:06 -0400 |
|---|---|---|
| committer | David Goulet <dgoulet@torproject.org> | 2020-07-21 15:51:48 -0400 |
| commit | a4c5b7d7421b9f02d479e4471b527ee3b9285d8c (patch) | |
| tree | 18fef74dc50f21b879e2cf5fffd6dfc9140ae302 /doc/man | |
| parent | 28c1b6047649dad62d269e6c2fde40f41cb9834a (diff) | |
| download | tor-a4c5b7d7421b9f02d479e4471b527ee3b9285d8c.tar.gz tor-a4c5b7d7421b9f02d479e4471b527ee3b9285d8c.zip | |
Rename check_server_ports to check_and_prune_server_ports
This is an automated commit, generated by this command:
./scripts/maint/rename_c_identifier.py \
check_server_ports check_and_prune_server_ports
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions