Subject: Re: console scrolling
To: Christian Biere <>
From: Hubert Feyrer <>
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