diff make-dist @ 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 385af3e03206
children 00005df1b3eb 890cc78a5a24
line wrap: on
line diff