diff make-dist @ 9533:b589ba0d8960

(self-insert-iso): Add delete-selection property.
author Richard M. Stallman <rms@gnu.org>
date Fri, 14 Oct 1994 18:41:41 +0000
parents 014e2214b8cb
children 35cdd4523abf
line wrap: on
line diff