diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2016-09-16 00:09:31 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-09-18 01:41:49 +0200 |
| commit | e877c5b10c9e42f4e709b30929f55d6cb3b60524 (patch) | |
| tree | fac73fbaf3e691c8134ba4406e93839807ab52bb /scripts/ci | |
| parent | 2a2c305c395cffbee8bfa84fdc372466a0ea257f (diff) | |
Use $XDG_CACHE_HOME instead of '.ghc-mod' (Fix DanielG/ghc-mod#833)
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions