Minor changes concerning Titler Fonts
authorGood Guy <[email protected]>
Sat, 5 Aug 2023 22:11:57 +0000 (16:11 -0600)
committerGood Guy <[email protected]>
Sat, 5 Aug 2023 22:11:57 +0000 (16:11 -0600)
commit4c60123404b653ad15242bf1a5ae2e9cf12b0bcb
tree04b46fd52a54d80dcf47e52cf7857ff0d7e726fd
parentf7f85cfabbbb97c00dcd58e91c17bdab510e7d96
Minor changes concerning Titler Fonts
parts/Installation.tex
parts/Plugins.tex