diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-30 16:16:37 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | 432d80f962535c2d2db27f6d652509090a88936b (patch) | |
| tree | d8055e2c3e8a54aadecf106753834f8027ce8dbf /scripts/ci/steps/00-config.sh | |
| parent | 86a4864838342202348d999987c0a16301b46c8b (diff) | |
ghc-session: Allow overriding programs on commandline
Diffstat (limited to 'scripts/ci/steps/00-config.sh')
0 files changed, 0 insertions, 0 deletions