fix comment width issues for tabs
[spider.git] / cmd / set / width.pl
2021-11-19 Dirk Koopmanfix comment width issues for tabs