log Scripts/lint-deps.sh @ 870:e120cc07fcf6

age author description
Tue, 06 Aug 2019 20:59:00 +0200 David Demelier vanilla: improve list and list-deps scripts
Tue, 30 Jul 2019 20:30:00 +0200 David Demelier scripts: add lint-deps.sh