diff configure @ 27060:351c7a56708e

Try harder to honour CTRL+C etc. during dumpstream
author reimar
date Mon, 16 Jun 2008 18:42:58 +0000
parents 5d69377075ac
children 5cafd67e6c90
line wrap: on
line diff