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 /lib | |
parent | 86a4864838342202348d999987c0a16301b46c8b (diff) |
ghc-session: Allow overriding programs on commandline
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions