minor additions concerning clip thumbnails
authorGood Guy <[email protected]>
Thu, 10 Nov 2022 18:35:58 +0000 (11:35 -0700)
committerGood Guy <[email protected]>
Thu, 10 Nov 2022 18:35:58 +0000 (11:35 -0700)
commit7fe23b30eb01cfe453f1fa393bacd75a46122a98
tree7cce6eee5b6b61abb7af44540f781656311e5a97
parent72e4cf82f926e6936978e17c013fff54f4f154ac
minor additions concerning clip thumbnails
parts/Configuration.tex
parts/Trouble.tex