Jürgen Buchmüller d7b1a31cf0 00-distfiles.sh: avoid unnecessary second loop ... We're already done after the first loop, if all distfiles were found and their checksums verified ok.		2015-11-05 22:05:25 +01:00
..
.empty
00-distfiles.sh