minor improvements from Andrea
authorGood Guy <[email protected]>
Sat, 12 Feb 2022 18:32:32 +0000 (11:32 -0700)
committerGood Guy <[email protected]>
Sat, 12 Feb 2022 18:32:32 +0000 (11:32 -0700)
commitebf66970ed8f2c8c9a8b247875ebf42275dc5de1
tree72f0bb129a737039e8ce929f6c6fd122bf90e9a8
parent03299c8d01375d07291826f36462615d3db15fba
minor improvements from Andrea
parts/Developer.tex
parts/Installation.tex
parts/Tips.tex