etc/symbols
changeset 46213 0a5af667dc75
parent 43503 ca87677d2265
child 48670 206144b13849
     1.1 --- a/etc/symbols	Sat Jan 14 16:14:22 2012 +0100
     1.2 +++ b/etc/symbols	Sat Jan 14 16:25:54 2012 +0100
     1.3 @@ -351,7 +351,6 @@
     1.4  \<dieresis>             code: 0x0000a8
     1.5  \<cedilla>              code: 0x0000b8
     1.6  \<hungarumlaut>         code: 0x0002dd
     1.7 -\<spacespace>           code: 0x002423
     1.8  \<some>                 code: 0x0003f5
     1.9  \<^sub>                 code: 0x0021e9  abbrev: =_
    1.10  \<^sup>                 code: 0x0021e7  abbrev: =^