[PATCH] Pager extension: switch it off if --debugger is set

[Dirkjan Ochtman]

On Thu, Apr 3, 2008 at 11:07 AM, Benoit Boissinot <bboissin at gmail.com> wrote:
>  The first patch was correct, the second isn't. It tests for --debug,
>  not --debugger.

Yes, sorry for this. I tested the --debugger and pushed the --debug.
Correcting it now.

Cheers,

Dirkjan