log Scripts/lint-options.sh @ 1028:e46348eb3fbd

age author description
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