log Scripts/lint.sh @ 1252:b811a6479213

age author description
Fri, 20 Sep 2019 21:05:00 +0200 David Demelier vanilla: change shebangs to /bin/sh
Wed, 18 Sep 2019 21:01:00 +0200 David Demelier vanilla: consolidate licenses and many options
Fri, 30 Aug 2019 21:05:00 +0200 David Demelier vanilla: create a generic lint.sh script