diff options
| author | Álvaro Fernández Rojas <noltari@gmail.com> | 2016-04-03 22:02:46 +0200 |
|---|---|---|
| committer | Álvaro Fernández Rojas <noltari@gmail.com> | 2016-04-03 22:02:46 +0200 |
| commit | 694f060550a90de0903830f210f0388f4171a774 (patch) | |
| tree | dea3d648dca00606b7e3c1917cbc83afb94e886a /toolchain | |
| parent | 5a7c064bdbb71bfbcded073c7c0a8723be306009 (diff) | |
| download | upstream-694f060550a90de0903830f210f0388f4171a774.tar.gz upstream-694f060550a90de0903830f210f0388f4171a774.tar.bz2 upstream-694f060550a90de0903830f210f0388f4171a774.zip | |
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 'toolchain')
0 files changed, 0 insertions, 0 deletions