(print_char_table): Use `Charset_ID' instead of `int'.
authortomo <tomo>
Wed, 7 Jun 2000 09:02:52 +0000 (09:02 +0000)
committertomo <tomo>
Wed, 7 Jun 2000 09:02:52 +0000 (09:02 +0000)
commit3d70445a08b0a646f31308dd09b63d10f610bd07
treea679f6ffac47c7f487b21e57bef39b27245ffdc8
parent19eb343e562673aaf5689b80630f23c28eec9228
(print_char_table): Use `Charset_ID' instead of `int'.
(get_non_ascii_char_table_value): Likewise.
(map_over_other_charset): Likewise.
(map_char_table): Likewise.
src/chartab.c