diff configure @ 12710:7411f27abe85

pre5 changes by Reimar and myself
author diego
date Mon, 28 Jun 2004 10:14:51 +0000
parents 51d61721906b
children b194d780dcda
line wrap: on
line diff