Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleanup no longer needed CHMOD usage after r424898. | mat | 2016-11-03 | 1 | -4/+2 |
* | Cleaner patch to honour $CC (no functional change) | johans | 2016-05-18 | 1 | -1/+1 |
* | Honour $CC | johans | 2016-05-17 | 1 | -2/+1 |
* | Restore the original header that unintentionally got lost when moving the port | johans | 2016-05-16 | 1 | -0/+1 |
* | - Mark BROKEN: does not build | amdmi3 | 2016-05-16 | 1 | -0/+2 |
* | Cleanup github bits. | mat | 2016-05-12 | 2 | -3/+3 |
* | Moscow_ml has been renamed mosml | johans | 2016-05-11 | 4 | -0/+581 |