diff options
author | 2009-09-13 10:38:55 +0000 | |
---|---|---|
committer | 2009-09-13 10:38:55 +0000 | |
commit | 84681722395ef50246f54b4092c4274a493f295f (patch) | |
tree | 803eb9fe7cc4e9ad23517666029936f05d6608a0 /acl2 | |
parent | 21e952d79da3f466c4f10417ffd97e8f992196a8 (diff) |
Times -> Times New Roman, seems to have better substitution behaviour
under fontconfig (i.e. existence of smoothly rendering free fonts with
same metrics)
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions