diff configure @ 9271:0b150ee7e2ad

removal of obsolete references
author alex
date Tue, 04 Feb 2003 15:30:43 +0000
parents 7c12f4501ed6
children 32be26de0d7c
line wrap: on
line diff