log Scripts/lint-licenses.sh @ 1199:29f1ba1b6030

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