aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/download.py
Commit message (Expand)AuthorAgeFilesLines
* scripts/dl_github_archive.py: rename from download.pyYousong Zhou2018-07-051-421/+0
* scripts/download.py: use a more terse api for fetching git commit dateYousong Zhou2018-06-271-2/+2
* build: download code from github using archive APIYousong Zhou2018-06-271-0/+421