diff configure @ 16379:cdd8c0dfc19b

improve colorization
author michael
date Sat, 03 Sep 2005 19:27:48 +0000
parents e2e231134056
children cdd649f1de0b
line wrap: on
line diff