diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-02 16:38:29 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-02 16:38:29 +0000 |
commit | fa1a15c9210eb76c66046d3c0836b9f4e776d716 (patch) | |
tree | 814cf58e9e5ad9d9ed851049bc3b1be01187f822 /phox | |
parent | afd9561246b8ba46c8c9b972202dda881ddd5c94 (diff) |
*** empty log message ***
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox-font.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index 80588dfc..9e330ea2 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -69,7 +69,7 @@ ("\\<or\\>" 0 3 218) ("&" 0 1 217) ("<->" 0 1 171) - ("-->" 0 3 222) + ("=>" 0 1 222) ("->" 0 1 174) ("~" 0 1 216) ("\\\\" 0 1 108))) |