annotate etc/charsets/symbol.map @ 89087:bab63e51dbaa

(set-case-syntax-pair): Remove check on byte lengths.
author Dave Love <fx@gnu.org>
date Sat, 07 Sep 2002 23:54:43 +0000
parents 2ad6e6f5c988
children b875692f1ec6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
88580
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
1 # Adobe symbol encoding from unicode.org
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
2 0x20 0x0020
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
3 # 0x20 0x00A0
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
4 0x21 0x0021
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
5 0x22 0x2200
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
6 0x23 0x0023
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
7 0x24 0x2203
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
8 0x25 0x0025
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
9 0x26 0x0026
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
10 0x27 0x220B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
11 0x28 0x0028
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
12 0x29 0x0029
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
13 0x2A 0x2217
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
14 0x2B 0x002B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
15 0x2C 0x002C
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
16 0x2D 0x2212
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
17 0x2E 0x002E
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
18 0x2F 0x002F
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
19 0x30 0x0030
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
20 0x31 0x0031
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
21 0x32 0x0032
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
22 0x33 0x0033
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
23 0x34 0x0034
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
24 0x35 0x0035
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
25 0x36 0x0036
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
26 0x37 0x0037
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
27 0x38 0x0038
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
28 0x39 0x0039
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
29 0x3A 0x003A
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
30 0x3B 0x003B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
31 0x3C 0x003C
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
32 0x3D 0x003D
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
33 0x3E 0x003E
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
34 0x3F 0x003F
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
35 0x40 0x2245
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
36 0x41 0x0391
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
37 0x42 0x0392
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
38 0x43 0x03A7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
39 0x44 0x0394
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
40 # 0x44 0x2206
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
41 0x45 0x0395
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
42 0x46 0x03A6
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
43 0x47 0x0393
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
44 0x48 0x0397
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
45 0x49 0x0399
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
46 0x4A 0x03D1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
47 0x4B 0x039A
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
48 0x4C 0x039B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
49 0x4D 0x039C
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
50 0x4E 0x039D
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
51 0x4F 0x039F
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
52 0x50 0x03A0
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
53 0x51 0x0398
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
54 0x52 0x03A1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
55 0x53 0x03A3
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
56 0x54 0x03A4
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
57 0x55 0x03A5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
58 0x56 0x03C2
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
59 0x57 0x03A9
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
60 # 0x57 0x2126
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
61 0x58 0x039E
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
62 0x59 0x03A8
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
63 0x5A 0x0396
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
64 0x5B 0x005B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
65 0x5C 0x2234
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
66 0x5D 0x005D
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
67 0x5E 0x22A5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
68 0x5F 0x005F
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
69 0x60 0xF8E5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
70 0x61 0x03B1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
71 0x62 0x03B2
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
72 0x63 0x03C7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
73 0x64 0x03B4
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
74 0x65 0x03B5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
75 0x66 0x03C6
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
76 0x67 0x03B3
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
77 0x68 0x03B7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
78 0x69 0x03B9
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
79 0x6A 0x03D5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
80 0x6B 0x03BA
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
81 0x6C 0x03BB
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
82 0x6D 0x00B5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
83 0x6D 0x03BC
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
84 0x6E 0x03BD
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
85 0x6F 0x03BF
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
86 0x70 0x03C0
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
87 0x71 0x03B8
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
88 0x72 0x03C1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
89 0x73 0x03C3
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
90 0x74 0x03C4
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
91 0x75 0x03C5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
92 0x76 0x03D6
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
93 0x77 0x03C9
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
94 0x78 0x03BE
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
95 0x79 0x03C8
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
96 0x7A 0x03B6
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
97 0x7B 0x007B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
98 0x7C 0x007C
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
99 0x7D 0x007D
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
100 0x7E 0x223C
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
101 0xA0 0x20AC
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
102 0xA1 0x03D2
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
103 0xA2 0x2032
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
104 0xA3 0x2264
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
105 0xA4 0x2044
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
106 # 0xA4 0x2215
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
107 0xA5 0x221E
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
108 0xA6 0x0192
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
109 0xA7 0x2663
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
110 0xA8 0x2666
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
111 0xA9 0x2665
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
112 0xAA 0x2660
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
113 0xAB 0x2194
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
114 0xAC 0x2190
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
115 0xAD 0x2191
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
116 0xAE 0x2192
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
117 0xAF 0x2193
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
118 0xB0 0x00B0
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
119 0xB1 0x00B1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
120 0xB2 0x2033
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
121 0xB3 0x2265
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
122 0xB4 0x00D7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
123 0xB5 0x221D
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
124 0xB6 0x2202
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
125 0xB7 0x2022
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
126 0xB8 0x00F7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
127 0xB9 0x2260
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
128 0xBA 0x2261
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
129 0xBB 0x2248
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
130 0xBC 0x2026
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
131 0xBD 0xF8E6
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
132 0xBE 0xF8E7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
133 0xBF 0x21B5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
134 0xC0 0x2135
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
135 0xC1 0x2111
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
136 0xC2 0x211C
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
137 0xC3 0x2118
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
138 0xC4 0x2297
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
139 0xC5 0x2295
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
140 0xC6 0x2205
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
141 0xC7 0x2229
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
142 0xC8 0x222A
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
143 0xC9 0x2283
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
144 0xCA 0x2287
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
145 0xCB 0x2284
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
146 0xCC 0x2282
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
147 0xCD 0x2286
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
148 0xCE 0x2208
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
149 0xCF 0x2209
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
150 0xD0 0x2220
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
151 0xD1 0x2207
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
152 0xD2 0xF6DA
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
153 0xD3 0xF6D9
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
154 0xD4 0xF6DB
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
155 0xD5 0x220F
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
156 0xD6 0x221A
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
157 0xD7 0x22C5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
158 0xD8 0x00AC
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
159 0xD9 0x2227
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
160 0xDA 0x2228
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
161 0xDB 0x21D4
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
162 0xDC 0x21D0
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
163 0xDD 0x21D1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
164 0xDE 0x21D2
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
165 0xDF 0x21D3
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
166 0xE0 0x25CA
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
167 0xE1 0x2329
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
168 0xE2 0xF8E8
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
169 0xE3 0xF8E9
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
170 0xE4 0xF8EA
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
171 0xE5 0x2211
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
172 0xE6 0xF8EB
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
173 0xE7 0xF8EC
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
174 0xE8 0xF8ED
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
175 0xE9 0xF8EE
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
176 0xEA 0xF8EF
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
177 0xEB 0xF8F0
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
178 0xEC 0xF8F1
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
179 0xED 0xF8F2
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
180 0xEE 0xF8F3
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
181 0xEF 0xF8F4
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
182 0xF1 0x232A
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
183 0xF2 0x222B
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
184 0xF3 0x2320
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
185 0xF4 0xF8F5
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
186 0xF5 0x2321
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
187 0xF6 0xF8F6
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
188 0xF7 0xF8F7
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
189 0xF8 0xF8F8
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
190 0xF9 0xF8F9
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
191 0xFA 0xF8FA
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
192 0xFB 0xF8FB
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
193 0xFC 0xF8FC
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
194 0xFD 0xF8FD
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
195 0xFE 0xF8FE
2ad6e6f5c988 New file.
Dave Love <fx@gnu.org>
parents:
diff changeset
196