diff configure @ 55698:dae0dc3dfbad

Avoid mixing standard error output messages into the search result.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 19 May 2004 19:06:54 +0000
parents a3e9f5b44041
children 6e40bed9e91e 4c90ffeb71c5
line wrap: on
line diff