fix console.pl max scroll depth
[spider.git] / contrib / g0rdi / show /
drwxr-xr-x   ..
-rw-r--r-- 816 heading.pl