]> git.ipfire.org Git - thirdparty/bind9.git/commitdiff
Merge branch '1898-doc/misc/options-should-be-independent-on-configure' into 'main'
authorOndřej Surý <ondrej@isc.org>
Mon, 22 Jun 2020 11:44:39 +0000 (11:44 +0000)
committerOndřej Surý <ondrej@isc.org>
Mon, 22 Jun 2020 11:44:39 +0000 (11:44 +0000)
Remove // not configured when generating doc/misc/options

Closes #1898

See merge request isc-projects/bind9!3731


Trivial merge