diff configure @ 23444:4a9e6efb8200

Remove some useless code
author reimar
date Mon, 04 Jun 2007 13:05:26 +0000
parents ea40d5263edc
children 87c61466bf62
line wrap: on
line diff