Jürgen Buchmüller 00c18e3e88 distfiles mirror: try $curfile first (renamed)		2015-09-04 17:13:31 +02:00
..
.empty
00-distfiles.sh