diff etc/CENSORSHIP @ 63815:015343385a78

(compilation-next-error-function): Don't switch buffers; operate on the current buffer.
author Richard M. Stallman <rms@gnu.org>
date Tue, 28 Jun 2005 18:57:00 +0000
parents 01772baf50a3
children 632018b817e3
line wrap: on
line diff