This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Ricardo Martins 0e2ae6c7b1 glued-download-sources: don't print verifying checksum.		2013-07-13 18:16:56 +01:00
..
glued-download-sources.bash	glued-download-sources: don't print verifying checksum.	2013-07-13 18:16:56 +01:00