Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename ghci.sh and build.sh to ghci and build respectively | Xavier Denis | 2020-02-29 | 1 | -2/+2 |
* | Hadrian: implement key-value settings for builder options | Alp Mestanogullari | 2019-07-09 | 1 | -0/+7 |
* | Remove Hadrian submodule | Ben Gamari | 2018-10-23 | 1 | -7/+0 |
* | Bump hadrian submodule | Ben Gamari | 2018-08-05 | 1 | -21/+5 |
* | Bump hadrian submodule | Ben Gamari | 2018-06-12 | 1 | -5/+21 |
* | Update hadrian submodule | Ben Gamari | 2018-06-07 | 1 | -16/+6 |
* | Update Hadrian submodule | Andrey Mokhov | 2018-04-26 | 1 | -11/+16 |
* | Update Hadrian submodule | Andrey Mokhov | 2018-02-24 | 1 | -22/+8 |
* | Bump hadrian submodule | Ben Gamari | 2018-01-26 | 1 | -18/+23 |
* | Add hadrian as a submodule | Ben Gamari | 2017-12-08 | 1 | -0/+21 |