annotate etc/refcards/gnus-logo.eps @ 101227:c515c8daae0f

(org-mouse-show-context-menu): Use mouse-menu-major-mode-map, if defined, rather than the obsolete mouse-major-mode-menu.
author Glenn Morris <rgm@gnu.org>
date Fri, 16 Jan 2009 03:28:30 +0000
parents c90853557b90
children 1d1d5d9bd884
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
82660
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 %!PS-Adobe-2.0 EPSF-2.0
100972
c90853557b90 Add 2009 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 95009
diff changeset
2 % Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
82743
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
3 % Free Software Foundation, Inc.
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
4 %
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
5 % Author: Luis Fernandes <elf@ee.ryerson.ca>
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
6 %
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
7 % This file is part of GNU Emacs.
95009
b05d11c8695d Fix previous.
Glenn Morris <rgm@gnu.org>
parents: 95008
diff changeset
8 %
95008
2d16a387dca5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
9 % GNU Emacs is free software: you can redistribute it and/or modify
82743
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
10 % it under the terms of the GNU General Public License as published by
95008
2d16a387dca5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
11 % the Free Software Foundation, either version 3 of the License, or
2d16a387dca5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
12 % (at your option) any later version.
82743
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
13 %
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
14 % GNU Emacs is distributed in the hope that it will be useful,
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
15 % but WITHOUT ANY WARRANTY; without even the implied warranty of
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
16 % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
17 % GNU General Public License for more details.
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
18 %
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
19 % You should have received a copy of the GNU General Public License
95008
2d16a387dca5 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
20 % along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
82743
0ff1ac80acd0 Add copyright and license notice.
Glenn Morris <rgm@gnu.org>
parents: 82660
diff changeset
21 %
82660
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 %%Title: gnuslogo1.ps
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 %%BoundingBox: 0 0 493 505
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 %%Pages: 1
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 %%DocumentFonts:
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 %%EndComments
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 %%EndProlog
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 %%Page: 1 1
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 % remember original state
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 /origstate save def
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 % build a temporary dictionary
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 20 dict begin
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 % define string to hold a scanline's worth of data
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 /pix 62 string def
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 % lower left corner
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 0 0 translate
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 % size of image (on paper, in 1/72inch coords)
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 493.0 505.0 scale
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 % dimensions of data
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 493 505 1
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 % mapping matrix
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 [493 0 0 -505 0 505]
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 {currentfile pix readhexstring pop}
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 image
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 ffffffffffffffffffffffffffffffffffffffffff01fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 fffffffffffffffffffffffffffffffffffffffff8003ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 fffffffffffffffffffffffffffffffffffffffff0000ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 ffffffffffffffffffffffffffffffffffffffff8000007ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 ffffffffffffffffffffffffffffffffffffffff0000003ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 fffffffffffffffffffffffffffffffffffffffe0000000ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 fffffffffffffffffffffffffffffffffffffff000000003fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 fffffffffffffffffffffffffffffffffffffff000000000fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 ffffffffffffffffffffffffffffffffffffffc0000000007ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 ffffffffffffffffffffffffffffffffffffff80000000003ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 ffffffffffffffffffffffffffffffffffffff00000000001ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 fffffffffffffffffffffffffffffffffffffe00000000000ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 fffffffffffffffffffffffffffffffffffffc00000000000ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 fffffffffffffffffffffffffffffffffffff8000000000007f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 fffffffffffffffffffffffffffffffffffff0000000000003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 fffffffffffffffffffffffffffffffffffff0000000000003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 fffffffffffffffffffffffffff800ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 ffffffffffffffffffffffffffffffffffffe0000000000001f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 fffffffffffffffffffffffffff0001fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 ffffffffffffffffffffffffffffffffffffc0000000000000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 ffffffffffffffffffffffffffc00007ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 ffffffffffffffffffffffffffffffffffffc0000000000000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 ffffffffffffffffffffffffff000001ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 ffffffffffffffffffffffffffffffffffff8000000000000078
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 fffffffffffffffffffffffffe0000003ffffffffffff0001fffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 ffffffffffffffffffffffffffffffffffff0000000000000038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 fffffffffffffffffffffffffc0000001fffffffffffe00007ffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 fffffffffffffffffffffffffffffffffffe0000000000000038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 fffffffffffffffffffffffff800000007ffffffffff800001ffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 fffffffffffffffffffffffffffffffffffe0000000000000038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 fffffffffffffffffffffffff000000003fffffffffe0000003fffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 fffffffffffffffffffffffffffffffffffc0000000000000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 ffffffffffffffffffffffffe000000001fffffffff80000000fffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 fffffffffffffffffffffffffffffffffffc0000000000000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 ffffffffffffffffffffffffc000000000ffffffffe000000003ffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 fffffffffffffffffffffffffffffffffff80000000000000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 ffffffffffffffffffffffff80000000007fffffff8000000000ffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 fffffffffffffffffffffffffffffffffff80000000000000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 ffffffffffffffffffffffff00000000003fffffff00000000007fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 fffffffffffffffffffffffffffffffffff00000000000000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 fffffffffffffffffffffffe00000000001ffffffe00000000001fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 fffffffffffffffffffffffffffffffffff00000000000000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 fffffffffffffffffffffffc00000000000ffffff8000000000007ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 ffffffffffffffffffffffffffffffffffe00000000000000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 fffffffffffffffffffffff8000000000007fffff0000000000007ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 ffffffffffffffffffffffffffffffffffe00000000000000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 fffffffffffffffffffffff0000000000001ffffe0000000000000ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 ffffffffffffffffffffffffffffffffffc00000000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 ffffffffffffffffffffffe0000000000000ffffc00000000000007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 ffffffffffffffffffffffffffffffffffc00000000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 ffffffffffffffffffffffc00000000000007fff800000000000001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 ffffffffffffffffffffffffffffffffff800000000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 ffffffffffffffffffffff800000000000003fff000000000000000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 ffffffffffffffffffffffffffffffffff800000000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 ffffffffffffffffffffff000000000000003fff0000000000000007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 ffffffffffffffffffffffffffffffffff000040000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 fffffffffffffffffffffe000000000000000ffe0000000000000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 ffffffffffffffffffffffffffffffffff0007ffc00000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 fffffffffffffffffffffc000000000000000ffc0000000000000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 fffffffffffffffffffffffffffffffffe001ffffc0000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 fffffffffffffffffffffc0000000000000007fc00000000000000007fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 fffffffffffffffffffffffffffffffffc003ffffe0000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 fffffffffffffffffffff80000000000000007f800000000000000003fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 fffffffffffffffffffffffffffffffffc007fffffc000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 fffffffffffffffffffff00000000000000001f000000000000000001fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 fffffffffffffffffffffffffffffffff800fffffff000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 ffffffffffffffffffffe00000000000000001f000000000000000000fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 fffffffffffffffffffffffffffffffff801fffffff800000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 ffffffffffffffffffffc00000000000000000e0000000000000000007ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 fffffffffffffffffffffffffffffffff003ffffffff00000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 ffffffffffffffffffff800000000000000000c0000000000000000003ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 fffffffffffffffffffffffffffffffff007ffffffff00000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 ffffffffffffffffffff00000000000000000000000000000000000000ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 ffffffffffffffffffffffffffffffffe00fffffffff80000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 fffffffffffffffffffe00000000000000000000000000000000000000ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 ffffffffffffffffffffffffffffffffe01fffffffffc0000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 fffffffffffffffffffc000000000000000000000000000000000000007fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 ffffffffffffffffffffffffffffffffc03fffffffffc0000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 fffffffffffffffffff8000000000000000000000000000000000000001fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 ffffffffffffffffffffffffffffffffc07ffffffffff0000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 fff9fffffffffffffff800000fe00000000000000000000000000000001fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 ffffffffffffffffffffffffffffffff807ffffffffff0000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 fff9fffffffffffffff000001ff80000000000000000000000000000000fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 ffffffffffffffffffffffffffffffff80fffffffffff0000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 fff0ffffffffffffffc000007ffc00000000000000000000000000000007ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 ffffffffffffffffffffffffffffffff81fffffffffff8000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 fff0ffffffffffffffc00000fffc00000000000000000000000000000003ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 ffffffffffffffffffffffffffffffff01fffffffffff8000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 ffe07fffffffffffff800001ffff00000000000000000000000000000001ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 ffffffffffffffffffffffffffffffff03fffffffffffc000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 ffe07fffffffffffff00000fffffc0000000000000000000000000000000ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 fffffffffffffffffffffffffffffffe03fffffffffffc000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 ffe03ffffffffffffc00001fffffe00000000000000000000000000000007fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 fffffffffffffffffffffffffffffffe07fffffffffffe000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 ffe03ffffffffffff800003ffffff00000000000000000000000000000003fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 fffffffffffffffffffffffffffffffe07fffffffffffe000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 ffc03ffffffffffff000007ffffff80000000000000f80000000000000003fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 fffffffffffffffffffffffffffffffe0ffffffffffffe000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 ffc01fffffffffffe00001fffffffe000000000000fffe000000000000001fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 fffffffffffffffffffffffffffffffc0ffffffffffffe000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 ffc00fffffffffffc00003ffffffff000000000001ffff800000000000000fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 fffffffffffffffffffffffffffffffc1fffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 ff800fffffffffff800003ffffffff800000000007ffffc000000000000007ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 fffffffffffffffffffffffffffffffc3fffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 ff8007fffffffffe00000fffffffffc0000000001ffffffc00000000000003ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 fffffffffffffffffffffffffffffff87fffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 ff8007fffffffffc00000fffffffffe0000000005ffffffe00000000000001ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 fffffffffffffffffffffffffffffff87fffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 ff8003fffffffff800001ffffffffff000000000ffffffffc0000000000000ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 fffffffffffffffffffffffffffffff87fffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 ff0001fffffffff000003ffffffffffc00000007fffffffff80000000000007fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 fffffffffffffffffffffffffffffff8ffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 ff0000ffffffffe000003ffffffffffc0000000ffffffffffc0000000000007fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 fffffffffffffffffffffffffffffffcffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 fe00007fffffff800000ffffffffffff0000001ffffffffffe0000000000001fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 ffffffffffffffffffffffffffffe7fdffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 fe00007fffffff000001ffffffffffff8000003fffffffffff0000000000001fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 ffffffffffffffffffffffffffffe7fdffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 fc00001ffffffc000003ffffffffffffc000007fffffffffffe0000000000007ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 ffffffffffffffffffffffffffffc7ffffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 fc00001ffffff0000003ffffffffffffe00000fffffffffffff0000000000007ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 fffffffffeffffffffffffffffff87ffffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 f800000fffffe0000007fffffffffffff00000fffffffffffff8000000000003ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 fffffffffcffffffffffffffffff87ffffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 f8000003ffff0000000ffffffffffffff80001fffffffffffffc000000000001ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 fffffffff8ffffffffffffffffff07ffffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 f8000001fffe0000001ffffffffffffff80001ffffffffffffff000000000000ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 fffffffff8fffffffffffffffffe0fffffffffffffffff000008
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 f0000000fff00000003ffffffffffffffc0001ffffffffffffff8000000000007fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 fffffffff0fffffffffffffffffe0fffffffffffffffff000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 e00000001a000000007ffffffffffffffe0003ffffffffffffffc000000000003fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 fffffffff0fffffffffffffffffc0fffffffffffffffff000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 e000000000000000007fffffffffffffff0003ffffffffffffffc000000000003fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 ffffffffe0fffffffffffffffffc1fffffffffffffffff000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 c00000000000000000ffffffffffffffff0007ffffffffffffffe000000000001fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 ffffffffe0fffffffffffffffff81fffffffffffffffff000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 c00000000000000001ffffffffffffffff0007fffffffffffffff0000000000007ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 ffffffffc0fffffffffffffffff83fffffffffffffffff000018
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 800000000000000007ffffffffffffffff800ffffffffffffffffc000000000003ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 ffffffff01fffffffffffffffff03fffffffffffffffff000038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 800000000000000007ffffffffffffffff800ffffffffffffffffe000000000001ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 ffffffff01fffffffffffffffff03fffffffffffffffff800038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 00000000000000000fffffffffffffffffc00fffffffffffffffff000000000000ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 fffffffe03ffffffffffffffffe07fffffffffffffffff800038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 00000000000000001fffffffffffffffffc01fffffffffffffffff8000000000007fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 fffffffc03ffffffffffffffffe07fffffffffffffffff800038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 00000000000000003fffffffffffffffffe03fffffffffffffffffc000000000003fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217 fffffff803ffffffffffffffffc07fffffffffffffffff800038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 00000000000000007ffffffffffffffffff03fffffffffffffffffe000000000000fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 fffffff007ffffffffffffffffc0ffffffffffffffffff800038
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 0000000000000000fffffffffffffffffff07ffffffffffffffffff000000000000fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 fffffff007ffffffffffffffff80ffffffffffffffffff800078
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 0000000000000003ffffffffffffffff8ff87ffffffffffffffffff8000000000001ffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 ffffffc00fffffffffffffffff81ffffffffffffffffff800078
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 8000000000000007ffffffffffffffff0ff8fffffffffffffffffffc000000000000ffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 ffffffc00fffffffffffffffff01ffffffffffffffffff8000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226 8000000000000007fffffffffffffffe0ffffffffffffffffffffffe0000000000007fff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 ffffff801fffffffffffffffff03ffffffffffffffffff8000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 c00000000000001ffffffffffffffffc0fffffffffffffffffffffff0000000000001fff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 fffffe001ffffffffffffffffe07ffffffffffffffffff8000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 e00000000000007ffffffffffffffff83fffffffffffffffffffffffc0000000000007ff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231 fffff8003ffffffffffffffffc07ffffffffffffffffff8000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 f00000000000007ffffffffffffffff03fffffffffffffffffffffffc0000000000001ff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233 fffff0003ffffffffffffffff80fffffffffffffffffff8000f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234 f0000000000000fffffffffffffffff07fffffffffffffffffffffffe0000000000000ff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 ffffe0003ffffffffffffffff00fffffffffffffffffff8001f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236 f8000000000003ffffffffffffffffe07ffffffffffffffffffffffff00000000000000f
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 ffff00007fffffffffffffffe01fffffffffffffffffff0001f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 fc000000000007ffffffffffffffffc07ffffffffffffffffffffffff800000000000007
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 fffc00007fffffffffffffffc01fffffffffffffffffff0001f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 fc000000000007ffffffffffffffffc0fffffffffffffffffffffffff800000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 ffe000007ffffbffffffffff801fffffffffffffffffff0001f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 fe00000000001fffffffffffffffff03fffffffffffffffffffffffffe00000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 00000000fffff3ffffffffff003fffffffffffffffffff0001f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244 fe00000000003fffffffffffffffff03ffffffffffffffffffffffffff00000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 00000001fffff1fffffffffe003fffffffffffffffffff0003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246 ff00000000007ffffffffffffffffe03ffffffffffffffffffffffffff00000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 00000001ffffe1fffffffffc007fffffffffffffffffff0003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 ff8000000001fffffffffffffffffc07ffffffffffffffffffffffffff80000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 00000003ffffe0fffffffff0007fffffffffffffffffff0003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 ffc000000003fffffffffffffffffc0fffffffffffffffffffffffffffc0000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 00000003ffffc0ffffffffe0007fffffffffffffffffff0003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 ffe00000000ffffffffffffffffff81fffffffffffffffffffffffffffe0000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 00000007ffffc07fffffff8000ffffffffffffffffffff0003f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254 fff00000003ffffffffffffffffff01ffffffffffffffffffffffffffff0000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 00000007ffff803fffffff0000fffffffffffffffffffe0007f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 fff8000000ffffffffffffffffffe03ffffffffffffffffffffffffffff8000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 00000007ffff801ffffffc0001fffffffffffffffffffe0007f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258 fffc000001ffffffffffffffffffe07ffffffffffffffffffffffffffffc000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 0000000fffff000ffffff80003fffffffffffffffffffe0007f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 fffe00000fffffffffffffffffffc07ffffffffffffffffffffffffffffc000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261 0000000fffff0007ffffe00003fffffffffffffffffffe0007f8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 ffff80007fffffffffffffffffff80fffffffffffffffffffffffffffffe000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263 0000001ffffe0001ffff800007fffffffffffffffffffe000ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 ffffe007ffffffffffffffffffff80ffffffffffffffffffffffffffffff000000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 0000001ffffe0000fffc000007fffffffffffffffffffe000ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 ffffffffffffffffffffffffffff01ffffffffffffffffffffffffffffff800000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 0000003ffffe0000000000000ffffffffffffffffffffe000ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 fffffffffffffffffffffffffffe03ffffffffffffffffffffffffffffffc00000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269 0000003ffffc0000000000000ffffffffffffffffffffe000ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 fffffffffffffffffffffffffffe03ffffffffffffffffffffffffffffffe00000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 0000007ffff80000000000001ffffffffffffffffffffe001ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272 fffffffffffffffffffffffffffc07fffffffffffffffffffffffffffffff00000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 0000007ffff80000000000001ffffffffffffffffffffe001ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 fffffffffffffffffffffffffff807fffffffffffffffffffffffffffffff80000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 000000fffff80000000000003ffffffffffffffffffffc001ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 fffffffffffffffffffffffffff80ffffffffffffffffffffffffffffffffc0000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 000003fffff00000000000007ffffffffffffffffffffc001ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 fffffffffffffffffffffffffff01ffffffffffffffffffffffffffffffffe0000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279 000007ffffe00000000000007ffffffffffffffffffffe003ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 fffffffffffffffffffffffffff01fffffffffffffffffffffffffffffffff0000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 000007ffffe0000000000000fffffffffffffffffffffc003ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 ffffffffffffffffffffffffffc07fffffffffffffffffffffffffffffffff8000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 00001fffffc0000000000001fffffffffffffffffffffc003ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284 ffffffffffffffffffffffffffc07fffffffffffffffffffffffffffffffffe000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285 00001fffffc0000000000003fffffffffffffffffffffc003ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 ffffffffffffffffffffffffffc07ffffffffffffffffffffffffffffffffff000000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 00003fffff80000000000003fffffffffffffffffffffc007ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 ffffffffffffffffffffffffff01fffffffffffffffffffffffffffffffffff800000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289 00007fffff80000000000007fffffffffffffffffffffc007ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290 ffffffffffffffffffffffffff03fffffffffffffffffffffffffffffffffffc00000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 0000ffffff0000000000000ffffffffffffffffffffffc007ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 fffffffffffffffffffffffffe03fffffffffffffffffffffffffffffffffffc00000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 0001ffffff0000000000001ffffffffffffffffffffffc007ff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 fffffffffffffffffffffffffc07ffffffffffffffffffffffffffffffffffff00000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295 0003fffffe0000000000001ffffffffffffffffffffff800fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 fffffffffffffffffffffffff80fffffffffffffffffffffffffffffffffffff80000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297 0007fffffe0000000000003ffffffffffffffffffffff800fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 fffffffffffffffffffffffff01ffffffffffffffffffffffffffffffffffffff0000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299 001ffffffc0000000000007ffffffffffffffffffffff800fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 fffffffffffffffffffffffff03ffffffffffffffffffffffffffffffffffffff8000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 003ffffffc000000000000fffffffffffffffffffffff800fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 ffffffffffffffffffffffffe07ffffffffffffffffffffffffffffffffffffffe000000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 00fffffff8000000000003fffffffffffffffffffffff001fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 ffffffffffffffffffffffffe07fffffffffffffffffffffffffffffffffffffff800000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 03fffffff8000000000003fffffffffffffffffffffff001fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 ffffffffffffffffffffffffc0ffffffffffffffffffffffffffffffffffffffffc00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 07fffffff0000000000007fffffffffffffffffffffff001fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 ffffffffffffffffffffffff80fffffffffffffffffffffffffffffffffffffffffc0000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309 3ffffffff000000000000ffffffffffffffffffffffff003fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310 ffffffffffffffffffffffff01ffffffffffffffffffffffffffffffffffffffffffe03f
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311 fffffffff000000000003ffffffffffffffffffffffff003fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 ffffffffffffffffffffffff01ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 fffffffff800000000007ffffffffffffffffffffffff003fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314 fffffffffffffffffffffffe03ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315 fffffffff80000000000ffffffffffffffffffffffffe003fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316 fffffffffffffffffffffffc07ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 fffffffffc0000000003ffffffffffffffffffffffffe007fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318 fffffffffffffffffffffffc0fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 fffffffffe0000000007ffffffffffffffffffffffffe007fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320 fffffffffffffffffffffff81fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 fffffffffe000000000fffffffffffffffffffffffffe00ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 fffffffffffffffffffffff01fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 ffffffffff000000001fffffffffffffffffffffffffe00ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324 ffffffffffffffffffffffe03ffffffffffffffffffffffffbffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 ffffffffff800000007fffffffffffffffffffffffffc00ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 ffffffffffffffffffffffe07ffffffffffffffffffdfffff1ffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327 ffffffffffc0000000ffffffffffffffffffffffffffc00ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328 ffffffffffffffffffffffe07ffffffffffffffffff9fffff07fffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329 ffffffffffe0000001ffffffffffffffffffffffffffc00ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 ffffffffffffffffffffffc0ffffffffffffffffffe3ffffe03fffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 fffffffffff800001fffffffffffffffffffffffffffc01ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332 ffffffffffffffffffffff81ffffffffffffffffffc7ffffc00fffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
333 fffffffffffe00007fffffffffffffffffffffffffffc01ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334 ffffffffffffffffffffff81ffffffffffffffffff87ffffc007ffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 ffffffffffff8003ffffffffffffffffffffffffffff801ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336 ffffffffffffffffffffff03ffffffffffffffffff0fffff8007ffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337 ffffffffffffffffffffffffffffffffffffffffffff803ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338 fffffffffffffffffffffe07fffffffffffffffffe0fffff8001ffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339 ffffffffffffffffffffffffffffffffffffffffffff803ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 fffffffffffffffffffffe07fffffffffffffffffc1fffff0000ffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341 ffffffffffffffffffffffffffffffffffffffffffff803ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342 fffffffffffffffffffffc0ffffffffffffffffff83ffffe00007fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 ffffffffffffffffffffffffffffffffffffffffffff007ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344 fffffffffffffffffffff81fffffffffffffffffe03ffffe00007fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345 ffffffffffffffffffffffffffffffffffffffffffff007ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 fffffffffffffffffffff83fffffffffffffffffc07ffffc00003fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347 ffffffffffffffffffffffffffffffffffffffffffff007ffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348 fffffffffffffffffffff03fffffffffffffffff80fffff800001fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 fffffffffffffffffffffffffffffffffffffffffffe00fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350 ffffffffffffffffffffe07fffffffffffffffff00fffff800000fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 fffffffffffffffffffffffffffffffffffffffffffe00fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352 ffffffffffffffffffffe0fffffffffffffffffe01fffff0000007ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 fffffffffffffffffffffffffffffffffffffffffffe00fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 ffffffffffffffffffffc0fffffffffffffffffc01ffffe0000003ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 fffffffffffffffffffffffffffffffffffffffffffe00fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356 ffffffffffffffffffff81fffffffffffffffff803ffffe0000003ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 fffffffffffffffffffffffffffffffffffffffffffe01fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 ffffffffffffffffffff81ffffffffffffffffe007ffffc0000003ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 fffffffffffffffffffffffffffffffffffffffffffc01fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 ffffffffffffffffffff83ffffffffffffffffe007ffffc0000001ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361 fffffffffffffffffffffffffffffffffffffffffffc01fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 ffffffffffffffffffff07ffffffffffffffff800fffff80000000ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 fffffffffffffffffffffffffffffffffffffffffffc01fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364 fffffffffffffffffffe07ffffffffffffffff800fffff00000000ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365 fffffffffffffffffffffffffffffffffffffffffffc03fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366 fffffffffffffffffffc0ffffffffffffffffe001fffff00000000ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 fffffffffffffffffffffffffffffffffffffffffff803fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 fffffffffffffffffffc0ffffffffffffffffc003ffffe000000007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369 fffffffffffffffffffffffffffffffffffffffffff803fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
370 fffffffffffffffffff81ffffffffffffffff0003ffffc000000007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
371 fffffffffffffffffffffffffffffffffffffffffff007fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
372 fffffffffffffffffff01fffffffffffffffe0007ffffc000000003fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
373 fffffffffffffffffffffffffffffffffffffffffff007fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
374 fffffffffffffffffff03fffffffffffffffe000fffff8000000001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
375 fffffffffffffffffffffffffffffffffffffffffff007fffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
376 ffffffffffffffffffe07fffffffffffffff8000fffff0000000001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
377 ffffffffffffffffffffffffffffffffffffffffffe00ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
378 ffffffffffffffffffc07fffffffffffffff0001fffff0000000001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
379 ffffffffffffffffffffffffffffffffffffffffffe00ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
380 ffffffffffffffffffc0fffffffffffffffe0001ffffe0000000000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
381 ffffffffffffffffffffffffffffffffffffffffffe00ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
382 ffffffffffffffffff80fffffffffffffff80003ffffe0000000000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
383 ffffffffffffffffffffffffffffffffffffffffffe01ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
384 ffffffffffffffffff81fffffffffffffff00007ffffc0000000000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
385 ffffffffffffffffffffffffffffffffffffffffffc01ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
386 ffffffffffffffffff81ffffffffffffffe00007ffffc00000000007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
387 ffffffffffffffffffffffffffffffffffffffffffc01ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
388 ffffffffffffffffff03ffffffffffffffc0000fffffc00000000007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
389 ffffffffffffffffffffffffffffffffffffffffffc03ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
390 fffffffffffffffffe03ffffffffffffff00000fffffe00000000007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
391 ffffffffffffffffffffffffffffffffffffffffff803ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
392 fffffffffffffffffc07fffffffffffffe00001ffffff00000000007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
393 ffffffffffffffffffffffffffffffffffffffffff803ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
394 fffffffffffffffffc07fffffffffffffc00007ffffffc0000000007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
395 ffffffffffffffffffffffffffffffffffffffffff807ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
396 fffffffffffffffff807fffffffffffff00001fffffffe0000000003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
397 ffffffffffffffffffffffffffffffffffffffffff807ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
398 fffffffffffffffff807ffffffffffffe00003ffffffff0000000003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
399 ffffffffffffffffffffffffffffffffffffffffff007ffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
400 fffffffffffffffff00fffffffffffff800007ffffffff8000000003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
401 ffffffffffffffffffffffffffffffffffffffffff00fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
402 fffffffffffffffff00fffffffffffff00000fffffffffc000000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
403 ffffffffffffffffffffffffffffffffffffffffff00fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
404 ffffffffffffffffe00ffffffffffffc00003fffffffffe000000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
405 fffffffffffffffffffffffffffffffffffffffffe01fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
406 ffffffffffffffffe00ffffffffffff800007ffffffffff000000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
407 fffffffffffffffffffffffffffffffffffffffffe01fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
408 ffffffffffffffffc00ffffffffffff00000fffffffffff800000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
409 fffffffffffffffffffffffffffffffffffffffffe01fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
410 ffffffffffffffff800fffffffffffc00001fffffffffffc00000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
411 fffffffffffffffffffffffffffffffffffffffffe03fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
412 ffffffffffffffff800fffffffffff000007fffffffffffe00000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
413 fffffffffffffffffffffffffffffffffffffffffe03fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
414 ffffffffffffffff001ffffffffffe00000fffffffffffff00000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
415 fffffffffffffffffffffffffffffffffffffffffc07fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
416 ffffffffffffffff001ffffffffffc00001fffffffffffff80000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
417 fffffffffffffffffffffffffffffffffffffffffc07fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
418 fffffffffffffffe000fffffffffe000003fffffffffffff80000001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
419 fffffffffffffffffffffffffffffffffffffffff807fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
420 fffffffffffffffe000fffffffffc000007fffffffffffffc0000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
421 fffffffffffffffffffffffffffffffffffffffff807fffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
422 fffffffffffffffc000fffffffff800000ffffffffffffffe0000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
423 fffffffffffffffffffffffffffffffffffffffff80ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
424 fffffffffffffffc0007fffffffe000001fffffffffffffff0000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
425 fffffffffffffffffffffffffffffffffffffffff80ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
426 fffffffffffffffc0003fffffffc000003fffffffffffffff0000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
427 fffffffffffffffffffffffffffffffffffffffff01ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
428 fffffffffffffff80001fffffff8000007fffffffffffffff8000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
429 fffffffffffffffffffffffffffffffffffffffff01ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
430 fffffffffffffff80000ffffffc000001ffffffffffffffff8000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
431 fffffffffffffffffffffffffffffffffffffffff01ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
432 fffffffffffffff800003fffff0000003ffffffffffffffffc000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
433 ffffffffffffffffffffffffffffffffffffffffe01ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
434 fffffffffffffff000000000000000007ffffffffffffffffc000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
435 ffffffffffffffffffffffffffffffffffffffffe03ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
436 ffffffffffffffe00000000000000000fffffffffffffffffe000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
437 ffffffffffffffffffffffffffffffffffffffffe03ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
438 ffffffffffffffe00000000000000001fffffffffffffffffe000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
439 ffffffffffffffffffffffffffffffffffffffffc07ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
440 ffffffffffffffc00000000000000003fffffffffffffffffe000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
441 ffffffffffffffffffffffffffffffffffffffffc07ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
442 ffffffffffffffc00000000000000007ffffffffffffffffff000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
443 ffffffffffffffffffffffffffffffffffffffffc07ffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
444 ffffffffffffffc0000000000000000fffffffffffffffffff000000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
445 ffffffffffffffffffffffffffffffffffffffffc0fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
446 ffffffffffffff80000000000000003fffffffffffffffffff800000ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
447 ffffffffffffffffffffffffffffffffffffffffc0fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
448 ffffffffffffff80000000000000007fffffffffffffffffff800001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
449 ffffffffffffffffffffffffffffffffffffffff80fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
450 ffffffffffffff8000000000000001ffffffffffffffffffff800001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
451 ffffffffffffffffffffffffffffffffffffffff81fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
452 ffffffffffffff8000000000000001ffffffffffffffffffffc00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
453 ffffffffffffffffffffffffffffffffffffffff81fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
454 ffffffffffffff8000000000000003ffffffffffffffffffffe00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
455 ffffffffffffffffffffffffffffffffffffffff01fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
456 ffffffffffffff000000000000000fffffffffffffffffffffe00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
457 ffffffffffffffffffffffffffffffffffffffff03fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
458 ffffffffffffff000000000000001ffffffffffffffffffffff00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
459 fffffffffffffffffffffffffffffffffffffffe03fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
460 fffffffffffffe000000000000003ffffffffffffffffffffff00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
461 fffffffffffffffffffffffffffffffffffffffe03fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
462 fffffffffffffe000000000000007ffffffffffffffffffffff00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
463 fffffffffffffffffffffffffffffffffffffffe03fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
464 fffffffffffffc00000000000001fffffffffffffffffffffff00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
465 fffffffffffffffffffffffffffffffffffffffe07fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
466 fffffffffffffc00000000000007fffffffffffffffffffffff00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
467 fffffffffffffffffffffffffffffffffffffffc07fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
468 fffffffffffffc00000000000007fffffffffffffffffffffff00001ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
469 fffffffffffffffffffffffffffffffffffffffc07fffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
470 fffffffffffffc0000000000003ffffffffffffffffffffffff80003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
471 fffffffffffffffffffffffffffffffffffffffc0ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
472 fffffffffffffc0000000000007ffffffffffffffffffffffff80003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
473 fffffffffffffffffffffffffffffffffffffffc0ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
474 fffffffffffffc000000000000fffffffffffffffffffffffff80003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
475 fffffffffffffffffffffffffffffffffffffff80ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
476 fffffffffffffc000000000003fffffffffffffffffffffffff80003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
477 fffffffffffffffffffffffffffffffffffffff80ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
478 fffffffffffffc000000000007fffffffffffffffffffffffff80003ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
479 fffffffffffffffffffffffffffffffffffffff00ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
480 fffffffffffffc00000000001ffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
481 fffffffffffffffffffffffffffffffffffffff01ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
482 fffffffffffffe00000000001ffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
483 fffffffffffffffffffffffffffffffffffffff01ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
484 fffffffffffffe0000000000fffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
485 ffffffffffffffffffffffffffffffffffffffe01ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
486 ffffffffffffff0000000001fffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
487 ffffffffffffffffffffffffffffffffffffffe03ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
488 ffffffffffffff000000000ffffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
489 fffffffffffffffffffdffffffffffffffffffe03ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
490 ffffffffffffff800000003ffffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
491 fffffffffffffffffff9ffffffffffffffffffc03ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
492 ffffffffffffffe0000001fffffffffffffffffffffffffffff80007ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
493 fffffffffffffffffff1ffffffffffffffffff807ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
494 fffffffffffffff0000001fffffffffffffffffffffffffffff8000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
495 fffffffffffffffffff1ffffffffffffffffff807ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
496 fffffffffffffff800000ffffffffffffffffffffffffffffffc000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
497 fffffffffffffffffff1ffffffffffffffffff807ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
498 fffffffffffffffe0003fffffffffffffffffffffffffffffffc000fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
499 ffffffffffffffffffe1ffffffffffffffffff807ffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
500 ffffffffffffffff4007fffffffffffffffffffffffffffffffc001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
501 ffffffffffffffffffc1ffffffffffffffffff00fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
502 fffffffffffffffffffffffffffffffffffffffffffffffffffc001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
503 ffffffffffffffffff83ffffffffffffffffff00fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
504 fffffffffffffffffffffffffffffffffffffffffffffffffffc001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
505 ffffffffffffffffff83ffffffffffffffffff00fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
506 fffffffffffffffffffffffffffffffffffffffffffffffffffc001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
507 ffffffffffffffffff03ffffffffffffffffff00fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
508 fffffffffffffffffffffffffffffffffffffffffffffffffffc001fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
509 ffffffffffffffffff03ffffffffffffffffff01fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
510 fffffffffffffffffffffffffffffffffffffffffffffffffffc003fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
511 ffffffffffffffffff07ffffffffffffffffff01fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
512 fffffffffffffffffffffffffffffffffffffffffffffffffffc003fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
513 fffffffffffffffffe07fffffffffffffffffe01fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
514 fffffffffffffffffffffffffffffffffffffffffffffffffffc003fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
515 fffffffffffffffffc07fffffffffffffffffe03fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
516 fffffffffffffffffffffffffffffffffffffffffffffffffffc007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
517 fffffffffffffffffc07fffffffffffffffffc03fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
518 fffffffffffffffffffffffffffffffffffffffffffffffffffc007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
519 fffffffffffffffff80ffffffffffffffffffc03fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
520 fffffffffffffffffffffffffffffffffffffffffffffffffffe007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
521 fffffffffffffffff80ffffffffffffffffffc03fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
522 fffffffffffffffffffffffffffffffffffffffffffffffffffe007fffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
523 fffffffffffffffff80ffffffffffffffffffc03fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
524 fffffffffffffffffffffffffffffffffffffffffffffffffffe00ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
525 fffffffffffffffff03ffffffffffffffffff807fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
526 fffffffffffffffffffffffffffffffffffffffffffffffffffe00ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
527 ffffffffffffffffe01ffffffffffffffffff807fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
528 fffffffffffffffffffffffffffffffffffffffffffffffffffe01ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
529 ffffffffffffffffe03ffffffffffffffffff807fffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
530 fffffffffffffffffffffffffffffffffffffffffffffffffffe01ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
531 ffffffffffffffffc07ffffffffffffffffff00ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
532 fffffffffffffffffffffffffffffffffffffffffffffffffffe03ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
533 ffffffffffffffffc07ffffffffffffffffff00ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
534 fffffffffffffffffffffffffffffffffffffffffffffffffffe03ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
535 ffffffffffffffff80fffffffffffffffffff00ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
536 fffffffffffffffffffffffffffffffffffffffffffffffffffe07ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
537 ffffffffffffffff80fffffffffffffffffff00ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
538 ffffffffffffffffffffffffffffffffffffffffffffffffffff07ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
539 ffffffffffffffff00ffffffffffffffffffe01ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
540 ffffffffffffffffffffffffffffffffffffffffffffffffffff07ffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
541 fffffffffffffffe00ffffffffffffffffffe01ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
542 ffffffffffffffffffffffffffffffffffffffffffffffffffff0fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
543 fffffffffffffffe00ffffffffffffffffffe01ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
544 ffffffffffffffffffffffffffffffffffffffffffffffffffff0fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
545 fffffffffffffffc01ffffffffffffffffffc01ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
546 ffffffffffffffffffffffffffffffffffffffffffffffffffff1fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
547 fffffffffffffffc03ffffffffffffffffffc01ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
548 ffffffffffffffffffffffffffffffffffffffffffffffffffff3fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
549 fffffffffffffffc03ffffffffffffffffffc03ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
550 ffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
551 fffffffffffffff807ffffffffffffffffffc03ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
552 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
553 fffffffffffffff807ffffffffffffffffff803ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
554 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
555 fffffffffffffff00fffffffffffffffffff803ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
556 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
557 fffffffffffffff00fffffffffffffffffff807ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
558 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
559 ffffffffffffffe01fffffffffffffffffff807ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
560 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
561 ffffffffffffffe03fffffffffffffffffff807ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
562 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
563 ffffffffffffffc03fffffffffffffffffff807ffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
564 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
565 ffffffffffffff807fffffffffffffffffff00fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
566 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
567 ffffffffffffff807fffffffffffffffffff00fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
568 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
569 ffffffffffffff00ffffffffffffffffffff00fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
570 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
571 ffffffffffffff00fffffffffffffffffffe00fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
572 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
573 fffffffffffffe01fffffffffffffffffffe01fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
574 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
575 fffffffffffffe03fffffffffffffffffffe01fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
576 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
577 fffffffffffffc03fffffffffffffffffffc01fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
578 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
579 fffffffffffffc07fffffffffffffffffffc01fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
580 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
581 fffffffffffff807fffffffffffffffffffc03fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
582 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
583 fffffffffffff00ffffffffffffffffffffc03fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
584 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
585 fffffffffffff00ffffffffffffffffffff803fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
586 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
587 ffffffffffffe01ffffffffffffffffffff803fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
588 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
589 ffffffffffffe01ffffffffffffffffffff803fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
590 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
591 ffffffffffffc03ffffffffffffffffffff807fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
592 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
593 ffffffffffffc03ffffffffffffffffffff007fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
594 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
595 ffffffffffff807ffffffffffffffffffff007fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
596 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
597 ffffffffffff807ffffffffffffffffffff007fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
598 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
599 ffffffffffff00fffffffffffffffffffff007fffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
600 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
601 fffffffffffe00ffffffffffffffffffffe00ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
602 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
603 fffffffffffe01ffffffffffffffffffffe00ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
604 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
605 fffffffffffc01ffffffffffffffffffffe00ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
606 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
607 fffffffffffc03ffffffffffffffffffffe00ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
608 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
609 fffffffffff803ffffffffffffffffffffc00ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
610 fffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
611 fffffffffff807ffffffffffffffffffffc00ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
612 fffffffffffffffffffffffffffffffffffffffffffffffffffffffffc1fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
613 fffffffffff00fffffffffffffffffffffc01ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
614 fffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
615 fffffffffff00fffffffffffffffffffffc01ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
616 fffffffffffffffffffffffffffffffffffffffffffffffffffffffff83fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
617 ffffffffffc01fffffffffffffffffffffc01ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
618 fffffffffffffffffffffffffffffffffffffffffffffffffffffffff07fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
619 ffffffffffc01fffffffffffffffffffffc01ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
620 fffffffffffffffffffffffffffffffffffffffffffffffffffffffff07fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
621 ffffffffff801fffffffffffffffffffff801ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
622 fffffffffffffffffffffffffffffffffffffffffffffffffffffffff07fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
623 ffffffffff803fffffffffffffffffffff801ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
624 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
625 ffffffffff003fffffffffffffffffffff803ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
626 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
627 fffffffffe007fffffffffffffffffffff803ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
628 ffffffffffffffffffffffffffffffffffffffffffffffffffffffffc1ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
629 fffffffffc007fffffffffffffffffffff003ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
630 ffffffffffffffffffffffffffffffffffffffffffffffffffffffff81ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
631 fffffffffc00ffffffffffffffffffffff003ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
632 ffffffffffffffffffffffffffffffffffffffffffffffffffffffff01ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
633 fffffffff800ffffffffffffffffffffff003ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
634 ffffffffffffffffffffffffffffffffffffffffffffffffffffffff01ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
635 fffffffff801ffffffffffffffffffffff003ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
636 ffffffffffffffffffffffffffffffffffffffffffffffffffffffff03ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
637 fffffffff803ffffffffffffffffffffff007ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
638 fffffffffffffffffffffffffffffffffffffffffffffffffffffffe07ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
639 fffffffff003fffffffffffffffffffffe007ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
640 fffffffffffffffffffffffffffffffffffffffffffffffffffffffc07ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
641 ffffffffe007fffffffffffffffffffffe007ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
642 fffffffffffffffffffffffffffffffffffffffffffffffffffffff807ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
643 ffffffffc007fffffffffffffffffffffe007ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
644 fffffffffffffffffffffffffffffffffffffffffffffffffffffff007ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
645 ffffffffc007fffffffffffffffffffffe007ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
646 fffffffffffffffffffffffffffffffffffffffffffffffffffffff00fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
647 ffffffff800ffffffffffffffffffffffe00fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
648 fffffffffffffffffffffffffffffffffffffffffffffffffffffff00fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
649 ffffffff000ffffffffffffffffffffffe00fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
650 ffffffffffffffffffffffffffffffffffffffffffffffffffffffe00fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
651 fffffffe001ffffffffffffffffffffffe00fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
652 ffffffffffffffffffffffffffffffffffffffffffffffffffffffc01fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
653 fffffffc003ffffffffffffffffffffffe00fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
654 ffffffffffffffffffffffffffffffffffffffffffffffffffffffc01fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
655 9ffffffc003ffffffffffffffffffffffe00fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
656 ffffffffffffffffffffffffffffffffffffffffffffffffffffff803fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
657 0ffffff8003ffffffffffffffffffffffc01fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
658 ffffffffffffffffffffffffffffffffffffffffffffffffffffff003ffffffffffffffe
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
659 07fffff0007ffffffffffffffffffffffc01fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
660 ffffffffffffffffffffffffffffffffffffffffffffffffffffff003ffffffffffffffe
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
661 07ffffe000fffffffffffffffffffffffc01fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
662 fffffffffffffffffffffffffffffffffffffffffffffffffffffe007ffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
663 03ffffc000fffffffffffffffffffffffc01fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
664 fffffffffffffffffffffffffffffffffffffffffffffffffffffe007ffffffffffffff0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
665 03ffff8001fffffffffffffffffffffff801fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
666 fffffffffffffffffffffffffffffffffffffffffffffffffffffc007ffffffffffffff0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
667 01ffff0003fffffffffffffffffffffff803fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
668 fffffffffffffffffffffffffffffffffffffffffffffffffffff800ffffffffffffffe0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
669 00fffe0003fffffffffffffffffffffff803fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
670 fffffffffffffffffffffffffffffffffffffffffffffffffffff800ffffffffffffffe0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
671 00fffe0003fffffffffffffffffffffff803fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
672 fffffffffffffffffffffffffffffffffffffffffffffffffffff001ffffffffffffffc0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
673 003ffc0007fffffffffffffffffffffff003fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
674 ffffffffffffffffffffffffffffffffffffffffffffffffffffe003ffffffffffffff80
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
675 001fe0001ffffffffffffffffffffffff003fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
676 ffffffffffffffffffffffffffffffffffffffffffffffffffffe003ffffffffffffff00
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
677 000fc0001ffffffffffffffffffffffff007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
678 ffffffffffffffffffffffffffffffffffffffffffffffffffffc007fffffffffffffe00
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
679 000000001ffffffffffffffffffffffff007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
680 ffffffffffffffffffffffffffffffffffffffffffffffffffff8007fffffffffffffe00
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
681 000000003ffffffffffffffffffffffff007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
682 ffffffffffffffffffffffffffffffffffffffffffffffffffff800ffffffffffffffc00
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
683 000000003ffffffffffffffffffffffff007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
684 ffffffffffffffffffffffffffffffffffffffffffffffffffff000ffffffffffffff800
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
685 000000007fffffffffffffffffffffffe007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
686 fffffffffffffffffffffffffffffffffffffffffffffffffffe001ffffffffffffff800
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
687 000000007fffffffffffffffffffffffe007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
688 fffffffffffffffffffffffffffffffffffffffffffffffffffe001ffffffffffffff000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
689 00000001ffffffffffffffffffffffffe007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
690 fffffffffffffffffffffffffffffffffffffffffffffffffffc003ffffffffffffff000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
691 00000001ffffffffffffffffffffffffe007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
692 fffffffffffffffffffffffffffffffffffffffffffffffffffc007fffffffffffffe000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
693 00000001ffffffffffffffffffffffffe007fffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
694 fffffffffffffffffffffffffffffffffffffffffffffffffff0007fffffffffffffc000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
695 00000003ffffffffffffffffffffffffc00ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
696 fffffffffffffffffffffffffffffffffffffffffffffffffff000ffffffffffffffc000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
697 00000003ffffffffffffffffffffffffc00ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
698 ffffffffffffffffffffffffffffffffffffffffffffffffffe000ffffffffffffff8000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
699 00000007ffffffffffffffffffffffffc00ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
700 ffffffffffffffffffffffffffffffffffffffffffffffffffc001ffffffffffffff0000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
701 0000000fffffffffffffffffffffffffc01ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
702 ffffffffffffffffffffffffffffffffffffffffffffffffffc003ffffffffffffff0000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
703 0000001fffffffffffffffffffffffffc01ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
704 ffffffffffffffffffffffffffffffffffffffffffffffffff8003fffffffffffffe0000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
705 0000001fffffffffffffffffffffffffc01ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
706 ffffffffffffffffffffffffffffffffffffffffffffffffff0007fffffffffffffe0000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
707 0000003fffffffffffffffffffffffffc01ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
708 fffffffffffffffffffffffffffffffffffffffffffffffffe000ffffffffffffffc0000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
709 0000007fffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
710 fffffffffffffffffffffffffffffffffffffffffffffffffe000ffffffffffffff80000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
711 0000007fffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
712 fffffffffffffffffffffffffffffffffffffffffffffffffc001ffffffffffffff80000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
713 000000ffffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
714 fffffffffffffffffffffffffffffffffffffffffffffffff8001ffffffffffffff00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
715 000001ffffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
716 fffffffffffffffffffffffffffffffffffffffffffffffff0003ffffffffffffff00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
717 000001ffffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
718 fffffffffffffffffffffffffffffffffffffffffffffffff0003ffffffffffffff00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
719 000003ffffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
720 ffffffffffffffffffffffffffffffffffffffffffffffffe0007fffffffffffffe00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
721 000003ffffffffffffffffffffffffff801ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
722 ffffffffffffffffffffffffffffffffffffffffffffffffe000ffffffffffffffe00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
723 000007ffffffffffffffffffffffffff803ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
724 ffffffffffffffffffffffffffffffffffffffffffffffffc000ffffffffffffffc00000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
725 00000fffffffffffffffffffffffffff003ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
726 ffffffffffffffffffffffffffffffffffffffffffffffff8001ffffffffffffff800000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
727 00000fffffffffffffffffffffffffff803ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
728 ffffffffffffffffffffffffffffffffffffffffffffffff0003ffffffffffffff800000
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
729 00001fffffffffffffffffffffffffff803ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
730 ffffffffffffffffffffffffffffffffffffffffffffffff0007ffffffffffffff000200
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
731 00003fffffffffffffffffffffffffff007ffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
732 fffffffffffffffffffffffffffffffffffffffffffffffe0007fffffffffffffe000700
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
733 00007fffffffffffffffffffffffffff00fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
734 fffffffffffffffffffffffffffffffffffffffffffffffc000ffffffffffffffe001f80
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
735 0000ffffffffffffffffffffffffffff00fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
736 fffffffffffffffffffffffffffffffffffffffffffffff8000ffffffffffffffe001f80
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
737 0001ffffffffffffffffffffffffffff00fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
738 fffffffffffffffffffffffffffffffffffffffffffffff8000ffffffffffffffc003fc0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
739 0001ffffffffffffffffffffffffffff00fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
740 fffffffffffffffffffffffffffffffffffffffffffffff0001ffffffffffffff8007fe0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
741 0003ffffffffffffffffffffffffffff01fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
742 ffffffffffffffffffffffffffffffffffffffffffffffe0003ffffffffffffff0007fe0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
743 0007ffffffffffffffffffffffffffff01fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
744 ffffffffffffffffffffffffffffffffffffffffffffffe0007ffffffffffffff000fff0
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
745 0007ffffffffffffffffffffffffffff01fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
746 ffffffffffffffffffffffffffffffffffffffffffffffc000ffffffffffffffe003fff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
747 001fffffffffffffffffffffffffffff07fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
748 ffffffffffffffffffffffffffffffffffffffffffffff8000ffffffffffffffe003fffc
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
749 007fffffffffffffffffffffffffffff07fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
750 ffffffffffffffffffffffffffffffffffffffffffffff8000ffffffffffffffe003fffe
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
751 00ffffffffffffffffffffffffffffff07fffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
752 ffffffffffffffffffffffffffffffffffffffffffffff0001ffffffffffffffc007ffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
753 dfffffffffffffffffffffffffffffff0ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
754 fffffffffffffffffffffffffffffffffffffffffffffe0003ffffffffffffff800fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
755 fffffffffffffffffffffffffffffffe1ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
756 fffffffffffffffffffffffffffffffffffffffffffffc0007ffffffffffffff800fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
757 fffffffffffffffffffffffffffffffe1ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
758 fffffffffffffffffffffffffffffffffffffffffffffc0007ffffffffffffff001fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
759 fffffffffffffffffffffffffffffffe1ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
760 fffffffffffffffffffffffffffffffffffffffffffff8000fffffffffffffff003fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
761 fffffffffffffffffffffffffffffffe3ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
762 fffffffffffffffffffffffffffffffffffffffffffff0000ffffffffffffffe003fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
763 ffffffffffffffffffffffffffffffff3ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
764 ffffffffffffffffffffffffffffffffffffffffffffe0001ffffffffffffffc007fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
765 ffffffffffffffffffffffffffffffff3ffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
766 ffffffffffffffffffffffffffffffffffffffffffffe0003ffffffffffffffc007fffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
767 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
768 ffffffffffffffffffffffffffffffffffffffffffffc0007ffffffffffffffc00ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
769 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
770 ffffffffffffffffffffffffffffffffffffffffffff8000fffffffffffffff800ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
771 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
772 ffffffffffffffffffffffffffffffffffffffffffff8000fffffffffffffff801ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
773 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
774 fffffffffffffffffffffffffffffffffffffffffffe0000fffffffffffffff001ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
775 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
776 fffffffffffffffffffffffffffffffffffffffffffc0001fffffffffffffff003ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
777 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
778 fffffffffffffffffffffffffffffffffffffffffffc0003ffffffffffffffe007ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
779 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
780 fffffffffffffffffffffffffffffffffffffffffff80007ffffffffffffffe007ffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
781 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
782 fffffffffffffffffffffffffffffffffffffffffff0000fffffffffffffffc00fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
783 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
784 fffffffffffffffffffffffffffffffffffffffffff0000fffffffffffffffc00fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
785 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
786 ffffffffffffffffffffffffffffffffffffffffffe0001fffffffffffffffc00fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
787 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
788 ffffffffffffffffffffffffffffffffffffffffffc0001fffffffffffffff801fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
789 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
790 ffffffffffffffffffffffffffffffffffffffffffc0003fffffffffffffff801fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
791 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
792 ffffffffffffffffffffffffffffffffffffffffff80003fffffffffffffff003fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
793 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
794 ffffffffffffffffffffffffffffffffffffffffff0000ffffffffffffffff007fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
795 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
796 fffffffffffffffffffffffffffffffffffffffffe0000ffffffffffffffff007fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
797 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
798 fffffffffffffffffffffffffffffffffffffffffc0001fffffffffffffffc007fffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
799 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
800 fffffffffffffffffffffffffffffffffffffffffc0001fffffffffffffffc00ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
801 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
802 fffffffffffffffffffffffffffffffffffffffff80003fffffffffffffffc01ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
803 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
804 fffffffffffffffffffffffffffffffffffffffff0000ffffffffffffffff801ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
805 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
806 ffffffffffffffffffffffffffffffffffffffffe0001ffffffffffffffff801ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
807 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
808 ffffffffffffffffffffffffffffffffffffffffc0001ffffffffffffffff803ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
809 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
810 ffffffffffffffffffffffffffffffffffffffffc0003ffffffffffffffff803ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
811 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
812 ffffffffffffffffffffffffffffffffffffffff80003fffffffffffffffe007ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
813 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
814 ffffffffffffffffffffffffffffffffffffffff80007fffffffffffffffe007ffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
815 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
816 ffffffffffffffffffffffffffffffffffffffff0000ffffffffffffffffe00fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
817 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
818 ffffffffffffffffffffffffffffffffffffffff0000ffffffffffffffffc00fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
819 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
820 fffffffffffffffffffffffffffffffffffffffc0001ffffffffffffffff801fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
821 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
822 fffffffffffffffffffffffffffffffffffffff80003ffffffffffffffff803fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
823 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
824 fffffffffffffffffffffffffffffffffffffff80003ffffffffffffffff003fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
825 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
826 fffffffffffffffffffffffffffffffffffffff00007ffffffffffffffff003fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
827 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
828 ffffffffffffffffffffffffffffffffffffffe0000ffffffffffffffffe007fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
829 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
830 ffffffffffffffffffffffffffffffffffffffe0000ffffffffffffffffc007fffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
831 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
832 ffffffffffffffffffffffffffffffffffffffc0001ffffffffffffffffc00ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
833 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
834 ffffffffffffffffffffffffffffffffffffff80007ffffffffffffffffc00ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
835 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
836 ffffffffffffffffffffffffffffffffffffff00007ffffffffffffffff801ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
837 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
838 ffffffffffffffffffffffffffffffffffffff00007ffffffffffffffff801ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
839 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
840 fffffffffffffffffffffffffffffffffffffe0000fffffffffffffffff003ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
841 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
842 fffffffffffffffffffffffffffffffffffffc0001fffffffffffffffff003ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
843 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
844 fffffffffffffffffffffffffffffffffffff80003ffffffffffffffffe007ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
845 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
846 fffffffffffffffffffffffffffffffffffff80003ffffffffffffffffe007ffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
847 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
848 ffffffffffffffffffffffffffffffffffffe00007ffffffffffffffffc00fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
849 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
850 ffffffffffffffffffffffffffffffffffffe0000fffffffffffffffffc00fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
851 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
852 ffffffffffffffffffffffffffffffffffffe0000fffffffffffffffffc00fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
853 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
854 ffffffffffffffffffffffffffffffffffff80001fffffffffffffffff801fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
855 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
856 ffffffffffffffffffffffffffffffffffff00003fffffffffffffffff801fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
857 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
858 ffffffffffffffffffffffffffffffffffff00007fffffffffffffffff003fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
859 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
860 fffffffffffffffffffffffffffffffffffe00007fffffffffffffffff007fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
861 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
862 fffffffffffffffffffffffffffffffffffc0000ffffffffffffffffff007fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
863 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
864 fffffffffffffffffffffffffffffffffffc0001fffffffffffffffffc007fffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
865 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
866 fffffffffffffffffffffffffffffffffff80003fffffffffffffffffc00ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
867 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
868 fffffffffffffffffffffffffffffffffff80007fffffffffffffffffc01ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
869 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
870 fffffffffffffffffffffffffffffffffff00007fffffffffffffffff801ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
871 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
872 fffffffffffffffffffffffffffffffffff0000ffffffffffffffffff801ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
873 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
874 ffffffffffffffffffffffffffffffffffc0001ffffffffffffffffff803ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
875 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
876 ffffffffffffffffffffffffffffffffff80003ffffffffffffffffff803ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
877 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
878 ffffffffffffffffffffffffffffffffff00007ffffffffffffffffff007ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
879 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
880 ffffffffffffffffffffffffffffffffff00007ffffffffffffffffff007ffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
881 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
882 fffffffffffffffffffffffffffffffffe0000ffffffffffffffffffe00fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
883 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
884 fffffffffffffffffffffffffffffffffc0000ffffffffffffffffffe00fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
885 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
886 fffffffffffffffffffffffffffffffffc0001ffffffffffffffffffe01fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
887 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
888 fffffffffffffffffffffffffffffffff80003ffffffffffffffffffc03fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
889 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
890 fffffffffffffffffffffffffffffffff00007ffffffffffffffffffc03fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
891 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
892 ffffffffffffffffffffffffffffffffe00007ffffffffffffffffffc03fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
893 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
894 ffffffffffffffffffffffffffffffffe00007ffffffffffffffffffc07fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
895 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
896 ffffffffffffffffffffffffffffffffc0001fffffffffffffffffff807fffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
897 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
898 ffffffffffffffffffffffffffffffff80003fffffffffffffffffff80ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
899 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
900 ffffffffffffffffffffffffffffffff80003fffffffffffffffffff80ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
901 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
902 ffffffffffffffffffffffffffffffff00007fffffffffffffffffff81ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
903 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
904 fffffffffffffffffffffffffffffffe0000ffffffffffffffffffff01ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
905 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
906 fffffffffffffffffffffffffffffffe0001ffffffffffffffffffff03ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
907 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
908 fffffffffffffffffffffffffffffffc0003ffffffffffffffffffff03ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
909 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
910 fffffffffffffffffffffffffffffff80003fffffffffffffffffffe07ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
911 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
912 fffffffffffffffffffffffffffffff00007fffffffffffffffffffe07ffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
913 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
914 ffffffffffffffffffffffffffffffe00007fffffffffffffffffffe0fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
915 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
916 ffffffffffffffffffffffffffffffe0000ffffffffffffffffffffc0fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
917 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
918 ffffffffffffffffffffffffffffffe0000ffffffffffffffffffffc1fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
919 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
920 ffffffffffffffffffffffffffffffc0001ffffffffffffffffffffc1fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
921 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
922 ffffffffffffffffffffffffffffff80007ffffffffffffffffffff83fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
923 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
924 ffffffffffffffffffffffffffffff00007ffffffffffffffffffff83fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
925 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
926 fffffffffffffffffffffffffffffe00007ffffffffffffffffffff83fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
927 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
928 fffffffffffffffffffffffffffffe0000fffffffffffffffffffff87fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
929 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
930 fffffffffffffffffffffffffffffc0001fffffffffffffffffffff87fffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
931 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
932 fffffffffffffffffffffffffffffc0001fffffffffffffffffffff0ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
933 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
934 fffffffffffffffffffffffffffff80003fffffffffffffffffffff0ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
935 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
936 fffffffffffffffffffffffffffff00007fffffffffffffffffffff0ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
937 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
938 fffffffffffffffffffffffffffff0000ffffffffffffffffffffff1ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
939 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
940 ffffffffffffffffffffffffffffe0000fffffffffffffffffffffe1ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
941 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
942 ffffffffffffffffffffffffffffc0001fffffffffffffffffffffe3ffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
943 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
944 ffffffffffffffffffffffffffff80003fffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
945 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
946 ffffffffffffffffffffffffffff00007fffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
947 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
948 ffffffffffffffffffffffffffff0000ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
949 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
950 fffffffffffffffffffffffffffe0001ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
951 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
952 fffffffffffffffffffffffffffe0001ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
953 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
954 fffffffffffffffffffffffffffc0003ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
955 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
956 fffffffffffffffffffffffffffc0007ffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
957 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
958 fffffffffffffffffffffffffff0000fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
959 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
960 fffffffffffffffffffffffffff0000fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
961 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
962 ffffffffffffffffffffffffffe0001fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
963 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
964 ffffffffffffffffffffffffffc0003fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
965 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
966 ffffffffffffffffffffffffffc0003fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
967 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
968 ffffffffffffffffffffffffffc0007fffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
969 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
970 ffffffffffffffffffffffffff8000ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
971 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
972 ffffffffffffffffffffffffff8001ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
973 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
974 ffffffffffffffffffffffffff0001ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
975 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
976 ffffffffffffffffffffffffff0003ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
977 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
978 ffffffffffffffffffffffffff0003ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
979 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
980 fffffffffffffffffffffffffe0007ffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
981 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
982 fffffffffffffffffffffffffc000fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
983 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
984 fffffffffffffffffffffffff8001fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
985 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
986 fffffffffffffffffffffffff8001fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
987 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
988 fffffffffffffffffffffffff8003fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
989 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
990 fffffffffffffffffffffffff8007fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
991 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
992 fffffffffffffffffffffffff8007fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
993 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
994 fffffffffffffffffffffffff0007fffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
995 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
996 ffffffffffffffffffffffffe000ffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
997 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
998 ffffffffffffffffffffffffe001ffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
999 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1000 ffffffffffffffffffffffffc001ffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1001 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1002 ffffffffffffffffffffffffc007ffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1003 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1004 ffffffffffffffffffffffffc00fffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1005 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1006 ffffffffffffffffffffffffc01fffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1007 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1008 ffffffffffffffffffffffff801fffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1009 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1010 ffffffffffffffffffffffff003fffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1011 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1012 ffffffffffffffffffffffff003fffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1013 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1014 ffffffffffffffffffffffff007fffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1015 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1016 ffffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1017 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1018 fffffffffffffffffffffffe00ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1019 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1020 fffffffffffffffffffffffe01ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1021 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1022 fffffffffffffffffffffffc03ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1023 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1024 fffffffffffffffffffffffc03ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1025 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1026 fffffffffffffffffffffff807ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1027 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1028 fffffffffffffffffffffff807ffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1029 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1030 fffffffffffffffffffffff80fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1031 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1032 fffffffffffffffffffffff00fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1033 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1034 fffffffffffffffffffffff01fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1035 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1036 ffffffffffffffffffffffe03fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1037 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1038 ffffffffffffffffffffffe07fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1039 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1040 ffffffffffffffffffffffe07fffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1041 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1042 ffffffffffffffffffffffe0ffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1043 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1044 ffffffffffffffffffffffc1ffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1045 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1046 ffffffffffffffffffffffc1ffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1047 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1048 ffffffffffffffffffffffc3ffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1049 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1050 ffffffffffffffffffffff83ffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1051 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1052 ffffffffffffffffffffff87ffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1053 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1054 ffffffffffffffffffffff8fffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1055 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1056 ffffffffffffffffffffff8fffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1057 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1058 ffffffffffffffffffffff1fffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1059 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1060 ffffffffffffffffffffff1fffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1061 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1062 ffffffffffffffffffffff3fffffffffffffffffffffffffffffffffffffffffffffffff
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1063 fffffffffffffffffffffffffffffffffffffffffffffffffff8
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1064
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1065
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1066 showpage
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1067
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1068 % stop using temporary dictionary
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1069 end
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1070
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1071 % restore original state
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1072 origstate restore
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1073
ddcab4d69d44 Move refcards from etc/ to etc/refcards/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1074 %%Trailer