diff make-dist @ 88643:db559e54c9e0

(coding-system-iso-2022-flags): Revert last change.
author Dave Love <fx@gnu.org>
date Sun, 26 May 2002 00:01:51 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff