diff configure @ 9908:2077c2558e4b

sync
author nicolas
date Fri, 11 Apr 2003 17:15:15 +0000
parents 2f7ff7b636e7
children 946c000ca531
line wrap: on
line diff