diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-31 16:58:08 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | 222d979921bbce0ab4ae0b66b260ce7066df49ce (patch) | |
| tree | 344d207849b80acb960463119a791ca2fcdf9a31 /scripts/ci/build.sh | |
| parent | 65bd5532775f13d911f4def1059b614acca5a330 (diff) | |
Add TODO about user-ghc-environment support
Diffstat (limited to 'scripts/ci/build.sh')
0 files changed, 0 insertions, 0 deletions