diff configure @ 12536:6b5c56fa709d

Synced with 1.593
author danny
date Sun, 06 Jun 2004 15:08:52 +0000
parents a6acf2b87bd5
children ad8852dcb3fe
line wrap: on
line diff