Revert "Docs: typos"
authorJeremy Harris <jgh146exb@wizmail.org>
Sun, 7 Mar 2021 00:07:24 +0000 (00:07 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Sun, 7 Mar 2021 00:07:24 +0000 (00:07 +0000)
commit97045ae80155d4423540405d514020ee1963f42d
treedc3113fc9ab6a439ac72dba00556146968b3148c
parent1ad20e19a669731c19852c865facabe4816ae4f9
Revert "Docs: typos"

This reverts commit 1ad20e19a669731c19852c865facabe4816ae4f9.
These are not typos; "provably" is a real word and accurate in context.
doc/doc-docbook/spec.xfpt