Petr Špaček eeb05d5665 Rename port_list to portrange ...

The old name was not referenced anywhere but the new name is used in
grammar of {avoid,use}-v{4,6}-udp-ports statement.

(cherry picked from commit 8d9c2368a9)

2022-07-04 16:09:24 +02:00

..

arm

Rename port_list to portrange

2022-07-04 16:09:24 +02:00

design

Drop documents that have been folded into doc/dev/dev.md

2022-03-10 14:53:21 +00:00

dev

Enforce Python codestyle with black

2022-06-08 13:18:27 +02:00

dnssec-guide

Manual fixups for new hyperlinks

2022-07-04 16:09:22 +02:00

doxygen

…

man

Rename key_id to server_key

2022-07-04 16:09:23 +02:00

misc

Sort grammar map keys while pretty printing them

2022-07-01 10:21:05 +02:00

notes

Add hyperlinks to all unique statement names

2022-07-04 16:08:59 +02:00

Makefile.am

…