Docs: more indexing for localhost_number
authorJeremy Harris <jgh146exb@wizmail.org>
Mon, 18 Dec 2023 14:37:30 +0000 (14:37 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 22 Dec 2023 19:34:49 +0000 (19:34 +0000)
commit311d71b8f18d544c79cc3a4cb1dafc206aaa1554
tree18f4edefbcda8eb5ce8f5a3b622970e77f5c37a0
parentc4eb4f03931be9d798ab085981b2cee6c058d109
Docs: more indexing for localhost_number
doc/doc-docbook/spec.xfpt