diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-31 16:58:38 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | 5ab34761ed8789286cd382273503129cc7a7134f (patch) | |
| tree | 88439db19927d71b5c768a1068c3c41057fe48b1 /src | |
| parent | 222d979921bbce0ab4ae0b66b260ce7066df49ce (diff) | |
ghc-session: Print test-spec in test-results
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions