diff make-dist @ 7792:1335cec8a016

(PC-do-completion): Clear text props from inserted text.
author Richard M. Stallman <rms@gnu.org>
date Sun, 05 Jun 1994 12:01:16 +0000
parents 6191acd134b6
children cba3121c44b7
line wrap: on
line diff