(default-coded-charset-priority-list): `japanese-jef-china3' is
authortomo <tomo>
Sat, 13 Oct 2001 16:53:32 +0000 (16:53 +0000)
committertomo <tomo>
Sat, 13 Oct 2001 16:53:32 +0000 (16:53 +0000)
commitfd0f18d32e83fa57b256eedf046b6c30d22197a9
treea21f8a6b5edf2279f4cdcf3404014b620f065538
parentd2aee5d6e4be0cd79e6087eb1249ee24d65140dd
(default-coded-charset-priority-list): `japanese-jef-china3' is
renamed `china3-jef'.
lisp/mule/mule-charset.el