diff configure @ 11102:b5e84919ebe8

-stop option
author diego
date Mon, 13 Oct 2003 22:42:28 +0000
parents 80a90c3e2f89
children fde91c95c875
line wrap: on
line diff