add bad file format error message
authorGood Guy <[email protected]>
Fri, 18 Mar 2022 16:42:16 +0000 (10:42 -0600)
committerGood Guy <[email protected]>
Fri, 18 Mar 2022 16:42:16 +0000 (10:42 -0600)
commite1ac754cd2150f840f4e3d00268bcb610808f8ec
treeb780f65a6f9d744cfa0392d2aea12cd43ed945ba
parentc0728a8b06e7bccc6a7472648193bb3e1179d8a4
add bad file format error message
parts/Trouble.tex