diff src/search.c @ 79454:39cb380f046d

(Example -- Configuring a tool called directly): Update example.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 Nov 2007 12:39:39 +0000
parents fc388b33b46d
children fc2bcd2a8aad 2cce56fd7361
line wrap: on
line diff