very minor change
authorGood Guy <[email protected]>
Mon, 8 Aug 2022 16:03:29 +0000 (10:03 -0600)
committerGood Guy <[email protected]>
Mon, 8 Aug 2022 16:03:29 +0000 (10:03 -0600)
commit43b50e2fe532c1d2b9f4e597f8f8d65020512f7d
tree9503f4350f9d1a8f7d0fe4ec8d11aec8e1158de7
parent5ed7b681209fc347108e92d7faf6b316d3be2467
very minor change
parts/Quickstart.tex