diff src/print.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 5d7438b61dd5
children 9335098bf215
line wrap: on
line diff