diff searching.c @ 405:0d2d897a6558 src

logs belong to stderr, not stdout; patch by John Stebbins
author nicodvb
date Tue, 01 Jun 2010 10:02:38 +0000
parents ec2408d48b85
children af0b6a8bf7e9
line wrap: on
line diff