diff configure @ 13603:80fc8f48f14c

Do not loose commands while paused.
author reimar
date Sun, 10 Oct 2004 17:39:07 +0000
parents fc357e2c7328
children c0bde085511c
line wrap: on
line diff