diff configure @ 9785:36a2215d1146

Sync by Roberto Togni <r_togni@libero.it>.
author diego
date Tue, 01 Apr 2003 23:03:18 +0000
parents ed72c158215d
children c5fd755db576
line wrap: on
line diff