diff configure @ 18902:8ea7d3506836

corectly report badly formated line number
author reynaldo
date Wed, 05 Jul 2006 06:36:54 +0000
parents 1138e7091daa
children fe73d14fb7a9
line wrap: on
line diff