diff lispref/numbers.texi @ 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 ae1a594ebb1d
children 89f8d7f3bd73
line wrap: on
line diff