log Scripts/scripts.subr @ 1052:fe6f2b9ef74f

age author description
Fri, 30 Aug 2019 21:05:00 +0200 David Demelier vanilla: create a generic lint.sh script