diff src/m/sequent-ptx.h @ 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 d62a9fd47cb2
children 24f70eafc5ef
line wrap: on
line diff