minor Andrea fixes
authorGood Guy <good1.2guy@gmail.com>
Sun, 19 Jul 2020 01:21:36 +0000 (19:21 -0600)
committerGood Guy <good1.2guy@gmail.com>
Sun, 19 Jul 2020 01:21:36 +0000 (19:21 -0600)
commit960ce9693f8f1ee323e342273e20d5a8f1e19041
treef1853bea8560b0b73c201368bf931111673b7d99
parentac23937d16f545f678725c7d87294cab7a24fc5e
minor Andrea fixes
parts/Real-World.tex