log Scripts/list.sh @ 743:a6ccd21107cb

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