fix console.pl max scroll depth
[spider.git] / local /
2021-11-24 Dirk Koopmanadd local local_cmd and local_data directories