commented out deprecated substitutefont
authorGood Guy <[email protected]>
Mon, 8 Apr 2024 20:25:49 +0000 (14:25 -0600)
committerGood Guy <[email protected]>
Mon, 8 Apr 2024 20:25:49 +0000 (14:25 -0600)
commit445cc91f4a1502c5df03baea6862d1521592999c
treebb46501f26d485114d840db9a1f442c0f5605f25
parentf09e9c34ce27f38c10a850f8c36c27b33fdb611c
commented out deprecated substitutefont
common/packages.tex