diff src/cm.c @ 9511:3b5dbd9c44f5

(compilation-filter): Do nothing if buffer is dead.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Oct 1994 07:40:50 +0000
parents 2825665b8352
children 3021721d1d69
line wrap: on
line diff