log Scripts/list.sh @ 997:b469e4f11ee1

age author description
Wed, 07 Aug 2019 20:40:00 +0200 David Demelier scripts: sort list.sh output
Tue, 06 Aug 2019 20:59:00 +0200 David Demelier vanilla: improve list and list-deps scripts
Mon, 05 Aug 2019 13:19:31 +0200 David Demelier vanilla: consolidate options with lint-options.sh
Tue, 30 Jul 2019 21:10:00 +0200 David Demelier scripts: add list.sh for easier listing