a couple of more tweaks
authorGood Guy <[email protected]>
Sat, 6 Jun 2020 03:18:47 +0000 (21:18 -0600)
committerGood Guy <[email protected]>
Sat, 6 Jun 2020 03:18:47 +0000 (21:18 -0600)
commit03215f37531b5c6e3d651d70911931369456686a
tree3e2095cc1e16295a8fed70cbbaf75affffdd0bd3
parent75edd4415ce258917cb7ab7d7c73681aceffe385
a couple of more tweaks
parts/Editing.tex
parts/Windows.tex