more minor fixes 2022-02
authorGood Guy <[email protected]>
Mon, 14 Feb 2022 00:53:15 +0000 (17:53 -0700)
committerGood Guy <[email protected]>
Mon, 14 Feb 2022 00:53:15 +0000 (17:53 -0700)
commit504832cd56a291dfc1d5ae27454934731c53993d
tree76d0fff135d81c4166da170829bbcf8d377d74dc
parentebf66970ed8f2c8c9a8b247875ebf42275dc5de1
more minor fixes
parts/Tips.tex