diff lib-src/profile.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 92cef0f29878
children 52590f967c1e
line wrap: on
line diff