diff options
author | wlemb <wlemb> | 2002-03-26 09:54:03 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2002-03-26 09:54:03 +0000 |
commit | 41b4fb3c1194697ba5042168cf0e69eb9da6e352 (patch) | |
tree | a8d8049757438cc85e6e53fe1b00377faf236531 /font/devX100-12/HR | |
parent | 1d7a61d62f5d79573335436bd22b397b44ff1397 (diff) | |
download | groff-41b4fb3c1194697ba5042168cf0e69eb9da6e352.tar.gz |
Add three glyphs `t+-', `tmu', and `tdi' which are textual variants
of `+-', `mu', and `di', respectively.
* font/devascii/R.proto, font/devutf8/R.proto,
font/devlatin1/R.proto, font/devhtml/R.proto,
font/devcp1047/R.proto, font/devlpb/*: Add them.
* font/devps/generate/textmap: Ditto.
* font/devps/*: Regenerated.
* font/devlj4/generate/text.map: Add them.
* font/devlj4/*: Regenerated.
* font/devdvi/generate/tc.map: Use them.
* font/devdvi/generate/texsy.map: Add them.
* font/devdvi/*: Regenerated.
* font/devX*/*: Regenerated.
* tmac/latin1.tmac, tmac/cp1047.tmac, tmac/tty.tmac,
tmac/tty-char.tmac: Updated.
* NEWS, man/groff_char.man: Updated.
Diffstat (limited to 'font/devX100-12/HR')
-rw-r--r-- | font/devX100-12/HR | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/font/devX100-12/HR b/font/devX100-12/HR index 456b8a78..93a9e088 100644 --- a/font/devX100-12/HR +++ b/font/devX100-12/HR @@ -151,7 +151,7 @@ a- 6,11 0 0257 ¯ " de 7,12 0 0260 ° " -+- 10,11 0 0261 +t+- 10,11 0 0261 ± " S2 6,12 0 0262 ² " @@ -227,7 +227,7 @@ AE 16,12 0 0306 Õ " :O 13,15 0 0326 Ö " -mu 10,8 0 0327 +tmu 10,8 0 0327 × " /O 13,13,1 0 0330 Ø " @@ -291,7 +291,7 @@ Sd 9,12 0 0360 õ " :o 9,12 0 0366 ö " -di 10,9 0 0367 +tdi 10,9 0 0367 ÷ " /o 10,10 0 0370 ø " |