minor correction
authorGood Guy <[email protected]>
Wed, 11 Jan 2023 17:42:03 +0000 (10:42 -0700)
committerGood Guy <[email protected]>
Wed, 11 Jan 2023 17:42:03 +0000 (10:42 -0700)
commit57aaa7184ac851db3734023dae0048a0ad7cb813
treeab95f4041c23265760f5206b5371758e0c7403e5
parent94d4854a2338500045040dfa93ee1852d9e6cedf
minor correction
parts/Real-World.tex