diff configure @ 5631:6cc3c2466288

It is not the right place for this.
author eyck
date Mon, 15 Apr 2002 11:11:25 +0000
parents fd85802f755b
children cc24d5e2573f
line wrap: on
line diff