diff configure.in @ 1035:f81e485de35c

Restart RX after flush
author gthomas
date Wed, 21 May 2003 16:31:22 +0000
parents d6a1854fdc1b
children
line wrap: on
line diff