Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[why] Not sure why they are here, all patched fonts reside now in the `patched-fonts/` folder. So we have two times two different symbols only font sets? Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
- Loading branch information