minor fixes
authorGood Guy <[email protected]>
Thu, 18 Jun 2020 21:18:45 +0000 (15:18 -0600)
committerGood Guy <[email protected]>
Thu, 18 Jun 2020 21:18:45 +0000 (15:18 -0600)
commit13b2b091d11b4a31e9457881c25ab7f8ff46aafc
tree436ecb2e4ea3d0b33f2670eeb07afd9ea8dfc66d
parent2cf11ec7efb0531a0682328c76ba08b665d86eca
minor fixes
parts/Editing.tex
parts/Plugins.tex
parts/Trouble.tex