Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | hadrian/tool-args: Write output to intermediate file rather than via stdout | Matthew Pickering | 2022-06-01 | 1 | -1/+1 |
* | Hadrian: Improve tool-args command to support more components | Matthew Pickering | 2020-04-30 | 1 | -3/+1 |
* | Rename ghci.sh and build.sh to ghci and build respectively | Xavier Denis | 2020-02-29 | 1 | -1/+1 |
* | Update to hie-bios 0.3.2 style program cradle | Pepe Iborra | 2020-02-08 | 1 | -1/+3 |
* | Add ghcide configuration files | Matthew Pickering | 2019-09-24 | 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 |