Docs: combine option definitions
authorJeremy Harris <jgh146exb@wizmail.org>
Sat, 4 Jun 2022 21:02:40 +0000 (22:02 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Sun, 13 Aug 2023 22:22:46 +0000 (23:22 +0100)
commitcd6ab265aa53f6bc030e5dfaf113f45d182be40c
tree9748663f3b27f6dafdc8b7292f0e0467c684f5cd
parent3e7e6162870de6545f3ee53d0c52d14a6b9434ef
Docs: combine option definitions
doc/doc-docbook/spec.xfpt