Mon, 28 May 2001 12:05:45 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 28 May 2001 12:05:08 +0000 |
Gerd Moellmann |
(Fload): Remove unused label.
|
Mon, 28 May 2001 12:04:47 +0000 |
Gerd Moellmann |
(string_display_width): Put in #if 0.
|
Mon, 28 May 2001 12:04:26 +0000 |
Gerd Moellmann |
(char_property_eq): Put in #if 0.
|
Mon, 28 May 2001 11:58:55 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Mon, 28 May 2001 11:58:27 +0000 |
Gerd Moellmann |
(speeds): Put in #if 0.
|
Mon, 28 May 2001 11:03:17 +0000 |
Gerd Moellmann |
(japanese-hankaku): Prefer the charset
|