fix console.pl max scroll depth
authorDirk Koopman <djk@tobit.co.uk>
Fri, 21 Jan 2022 18:45:17 +0000 (18:45 +0000)
committerDirk Koopman <djk@tobit.co.uk>
Fri, 21 Jan 2022 18:45:17 +0000 (18:45 +0000)

No differences found