diff config.bat @ 101653:f2bc801a3377

(QUIT): Check pending_signals instead of interrupt_input_pending. Use process_pending_signals.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 29 Jan 2009 14:35:25 +0000
parents f7624bb0bd1f
children dc1b2f500b63
line wrap: on
line diff