minor fix from Andrea
authorGood Guy <[email protected]>
Sun, 10 Jul 2022 22:02:58 +0000 (16:02 -0600)
committerGood Guy <[email protected]>
Sun, 10 Jul 2022 22:02:58 +0000 (16:02 -0600)
commitf59ca998d5cd7079aa85ab87e26b8fd79ec3fe92
tree17559517b1d30ce77ecf5083a575f87e4b7727b8
parentd35e389f3447f1f0b37d9a0c2981a6e17e5be3a7
minor fix from Andrea
parts/Developer.tex