diff man/ChangeLog @ 65052:4ac20fef0d09

(compilation-disable-input): New defcustom. (compilation-start): If compilation-disable-input is non-nil, send EOF to the compilation process.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 20 Aug 2005 12:14:24 +0000
parents 5cabc81a10a9
children 55b9d4dca2d6
line wrap: on
line diff