diff make-dist @ 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 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff