minor fixes
authorGood Guy <[email protected]>
Tue, 21 Jul 2020 01:12:43 +0000 (19:12 -0600)
committerGood Guy <[email protected]>
Tue, 21 Jul 2020 01:12:43 +0000 (19:12 -0600)
commitead564c30650c96009cfe0a12f86b307d136458e
treef29f4700182289838ccaa4abcc18c4c7e11b1c26
parent960ce9693f8f1ee323e342273e20d5a8f1e19041
minor fixes
parts/Real-World.tex
parts/Shortcuts.tex