diff configure @ 14987:aa57bc6ccac7

synced with 1.13
author gabrov
date Tue, 22 Mar 2005 16:14:49 +0000
parents 4f43e3452b36
children f5a8c71d94cf
line wrap: on
line diff