comparison 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
comparison
equal deleted inserted replaced
9784:286ac03ce5c5 9785:36a2215d1146