diff lispintro/README @ 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 23a1cea22d13
children c84b73607df3
line wrap: on
line diff