diff make-dist @ 18577:975351f5fc53

("Japanese"): List iso-2022-7bit coding system instead of japanese-iso-7bit.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Jul 1997 20:53:32 +0000
parents 614b4d642525
children c5f070514f07
line wrap: on
line diff