manual: fix typo.
authorwhitequark <whitequark@whitequark.org>
Thu, 27 Aug 2020 16:34:48 +0000 (16:34 +0000)
committerwhitequark <whitequark@whitequark.org>
Thu, 27 Aug 2020 16:34:48 +0000 (16:34 +0000)
commiteae88df016cc2134ba822e2a85ab92b955349fbe
tree26b305289626e3aac045950f47a819bf93725702
parenta0177569ac4adb36798d29ef5e481614731f4ed0
manual: fix typo.
manual/CHAPTER_Overview.tex