diff etc/PROBLEMS @ 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 83d11267d399
children 53559de8d502 bb71c6cf2009
line wrap: on
line diff