diff configure @ 10430:4b2254f16fed

sync with HTML
author diego
date Mon, 14 Jul 2003 15:43:29 +0000
parents c2fc1c310699
children 8d7ca7c06ca6
line wrap: on
line diff