Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | scripts/dl_github_archive.py: rename from download.py | Yousong Zhou | 2018-07-05 | 1 | -421/+0 |
* | scripts/download.py: use a more terse api for fetching git commit date | Yousong Zhou | 2018-06-27 | 1 | -2/+2 |
* | build: download code from github using archive API | Yousong Zhou | 2018-06-27 | 1 | -0/+421 |