add missing paragraph to Overlay plugin
authorGood Guy <[email protected]>
Sat, 5 Nov 2022 18:07:51 +0000 (12:07 -0600)
committerGood Guy <[email protected]>
Sat, 5 Nov 2022 18:07:51 +0000 (12:07 -0600)
commit72e4cf82f926e6936978e17c013fff54f4f154ac
tree8a318346df475e7d8259cc93d017e26e4af4d645
parent83486b1c4a2d242a2117fa9abed36d7019544160
add missing paragraph to Overlay plugin
parts/Plugins.tex