diff configure @ 9372:158bf5cd8f64

index should be otional (idea by alex)
author michael
date Sun, 09 Feb 2003 18:56:51 +0000
parents dd0874f98cdb
children d709935c512d
line wrap: on
line diff