diff CONTRIBUTE @ 78388:b589cafd502b

(compilation-find-buffer): Return current buffer immediately if suitable. (compile, compilation-buffer-name, compilation-start): Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Thu, 02 Aug 2007 17:39:28 +0000
parents 42f5a52dbf4b
children a9b80f99c836
line wrap: on
line diff