projects / micro.git / history
| 2017-11-19 | Zachary Yedidia | Merge pull request #613 from GeigerCounter/build_tools | blob | commitdiff | raw |
| 2017-06-23 | Zachary Yedidia | Fix vendor-src script | blob | commitdiff | raw |
| 2017-06-23 | Zachary Yedidia | Fix ordering of tagging and compiling in release script | blob | commitdiff | raw | diff to current |
| 2016-11-29 | Zachary Yedidia | Merge pull request #449 from 10sr/jobSpawn | blob | commitdiff | raw | diff to current |
| 2016-11-28 | Zachary Yedidia | Fix for nightly release | blob | commitdiff | raw | diff to current |
| 2016-11-28 | Zachary Yedidia | Provide vendored tarball and zip with future releases | blob | commitdiff | raw | diff to current |