diff configure @ 10784:7e91fbf67406

fixes and documented -list-options
author alex
date Mon, 01 Sep 2003 17:44:12 +0000
parents a2029c40a65c
children 7b2f852ad9b7
line wrap: on
line diff