improvements from Andrea
authorGood Guy <[email protected]>
Mon, 9 Aug 2021 17:29:35 +0000 (11:29 -0600)
committerGood Guy <[email protected]>
Mon, 9 Aug 2021 17:29:35 +0000 (11:29 -0600)
commit9c9c6718c1d088b3bacb62d012881fd304635fff
tree03cee577b9d0ec4e074f7cca2f88e6db9c4daadd
parentca6c9ca2def538d58143f0b7c07b7a5bcea7c241
improvements from Andrea
parts/Editing.tex
parts/Plugins.tex