diff options
author | 2013-05-22 15:29:11 +0000 | |
---|---|---|
committer | 2013-05-22 15:29:11 +0000 | |
commit | 33eb115fac1a84399964e471523e6b1cac591214 (patch) | |
tree | 8ffdec237b74b8403cc7d771db3a050b6b10c67e /images/ProofGeneral-image.jpg | |
parent | 9b8563f16b5d4d345a3934dbbc41fd46831236f4 (diff) |
Retire Serifa font usage
Diffstat (limited to 'images/ProofGeneral-image.jpg')
0 files changed, 0 insertions, 0 deletions