diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-04-24 22:51:19 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-04-24 22:51:19 +0100 |
commit | 4598cd849be638121de345518d94aad9d0c2f742 (patch) | |
tree | 3332920fb56e2c98f9b3d8d8557cfa6d10925365 /specs | |
parent | 0ad0e0f8638d002f9585bc1d6ca5517ae2b0da25 (diff) |
Process `10x20' too. (It was shifted down a pixel during the conversion; we don't undo this, yet. So far, we just fix the quotes.)
Diffstat (limited to 'specs')
-rw-r--r-- | specs | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -33,4 +33,16 @@ verbatim if ($props{' 7bit'}) { entire ` ' verbatim } +pcf 10x20 +rules Trad + +verbatim if ($props{' 7bit'}) { +# below was generated by +# entire ` ' +# and then edited to shift the replacement characters down like +# the rest of the font (!) +verbatim s/^0000;0000;0000;1800;0C00;0600;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000$/0000;0000;0000;3C00;1C00;0600;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000/; # ` +verbatim s/^0000;0000;0000;0C00;0C00;0C00;0C00;0800;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000$/0000;0000;0000;0F00;0E00;1800;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000;0000/; # ' +verbatim } + endrules |