diff src/textprop.c @ 6949:319678b541eb

(shell-command-sentinel): Do nothing if buffer is dead.
author Richard M. Stallman <rms@gnu.org>
date Mon, 18 Apr 1994 22:37:30 +0000
parents a2bccbc870e6
children b6b93953cc83
line wrap: on
line diff