a couple of very minor improvements
authorGood Guy <[email protected]>
Mon, 12 Jun 2023 22:54:32 +0000 (16:54 -0600)
committerGood Guy <[email protected]>
Mon, 12 Jun 2023 22:54:32 +0000 (16:54 -0600)
commit6bb9bb301c01bcf89083f1c9859724e0125c248a
tree7d29c6de2beeb3dcd9cf1ca4f80350cc79b8d3d3
parent57a10c712aed39a74039379695c7f4f14015827a
a couple of very minor improvements
parts/DVD.tex
parts/Developer.tex