Re: Patch: inverse search.

[John Levon]

On Tue, Mar 11, 2003 at 06:11:15PM +0100, Lars Gullik Bj?nnes wrote:

> We should remove the config options of being able to set the pipe
> names. Then the pipes can always be found in the same spot.

Agreed ...

john