minor additions
authorGood Guy <[email protected]>
Tue, 24 Jan 2023 20:14:15 +0000 (13:14 -0700)
committerGood Guy <[email protected]>
Tue, 24 Jan 2023 20:14:15 +0000 (13:14 -0700)
commitc7fc46cd3cfcc15a1dc7fb5cf967a457d52111fe
treeb0a6cad94c37ea7acf7f358c433c1de0719ed600
parent39b3b6886b5355a0edd944a083c21235826330ae
minor additions
parts/Developer.tex
parts/Installation.tex