diff configure @ 15218:090c8df3f6fe

100l to Jindrich! Changing the parameter name in the body, too.
author rathann
date Tue, 19 Apr 2005 22:11:34 +0000
parents 7706a3bef8a3
children e84a6ae9d51e
line wrap: on
line diff