diff configure @ 13986:5a82c1b43ade

synced to 1.15 (URL update)
author gabrov
date Fri, 19 Nov 2004 20:04:22 +0000
parents c012194ba7d7
children 63023fad13a0
line wrap: on
line diff