diff options
download: add @GITHUB download facility
Define a new alias (@GITHUB) for downloading raw files from github repos.
Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
Diffstat (limited to 'scripts/download.pl')
1 files changed, 1 insertions, 0 deletions