Subject: Re: console scrolling
To: Christian Biere <christianbiere@gmx.de>
From: Hubert Feyrer <hubert@feyrer.de>
List: tech-net
Date: 01/29/2007 23:08:09 
On Mon, 29 Jan 2007, Christian Biere wrote:
> The attached changes this to just look whether

I cannot comment on the change (left shift is fine for me :),
but if it gets committed, please sync the mentioned manpage, too!


  - Hubert