minor additions or corrections
authorGood Guy <[email protected]>
Tue, 17 Jan 2023 18:27:11 +0000 (11:27 -0700)
committerGood Guy <[email protected]>
Tue, 17 Jan 2023 18:27:11 +0000 (11:27 -0700)
commit2bbeb590a8cec0f7516be5cbc5dafa63a28ed6eb
tree112ce7e160f432e1c2d39b7406c0d47c51c3d45d
parent79741b6f1c0ede527c81e5c9f8718355c705c7a8
minor additions or corrections
parts/AUTHORS.tex
parts/Advanced.tex