a few more minor corrections for the Mirror video plugin
authorGood Guy <[email protected]>
Fri, 1 Sep 2023 21:39:41 +0000 (15:39 -0600)
committerGood Guy <[email protected]>
Fri, 1 Sep 2023 21:39:41 +0000 (15:39 -0600)
commitce14b30e8686b4f3eb990b7d90bd30e84bcfb953
tree1437b99c97b78d13642d3e9572781a8b6ac74d29
parent2083217ef15afe057d33b63ce76459b672844d5a
a few more minor corrections for the Mirror video plugin
images/mirror.png
parts/Plugins.tex