maxice8 f5c0feedf6 00-distfiles: avoid useless use of cat		2019-04-15 12:18:00 -03:00
..
.empty
00-distfiles.sh	00-distfiles: avoid useless use of cat	2019-04-15 12:18:00 -03:00