diff configure @ 12982:26aa2bf92ef3

some new maintainers, some cleanup
author diego
date Mon, 09 Aug 2004 23:41:26 +0000
parents 093afb92e4d5
children 8639d064d3a1
line wrap: on
line diff