log Scripts/lint-options.sh @ 1177:6dd3148ac08d

age author description
Fri, 20 Sep 2019 21:05:00 +0200 David Demelier vanilla: change shebangs to /bin/sh
Mon, 02 Sep 2019 21:20:00 +0200 David Demelier vanilla: add some colors in scripts
Fri, 30 Aug 2019 21:05:00 +0200 David Demelier vanilla: create a generic lint.sh script
Thu, 29 Aug 2019 23:35:00 +0200 David Demelier vanilla: use /bin/busybox sh as default shell
Mon, 05 Aug 2019 13:19:31 +0200 David Demelier vanilla: consolidate options with lint-options.sh