diff configure @ 9885:98712065a08d

10l patch by (Andreas Hess <jaska at gmx dot net>)
author michael
date Tue, 08 Apr 2003 23:46:35 +0000
parents ea743bdf7e4d
children ca072c661b44
line wrap: on
line diff