Juan RP b9e30d45dc hooks/do-fetch/00-distfiles: improve previous to handle all cases.		2014-03-07 11:20:56 +01:00
..
.empty
00-distfiles.sh	hooks/do-fetch/00-distfiles: improve previous to handle all cases.	2014-03-07 11:20:56 +01:00