diff configure @ 17887:f20bba087cc8

flags cleanup
author michael
date Sat, 18 Mar 2006 12:13:48 +0000
parents d526e19c56c3
children 7d8df0bb1287
line wrap: on
line diff