-
Alexander Povel authored
Replace Fontin with a free font that ships with TeXLive. Just much easier to deal with, and allows us to get rid of the entire fonts/ directory. Adjust everything else as well, aka use fonts that ship with TeXLive.
c1260ca0