diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-07-09 00:49:24 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-07-09 00:49:24 +0200 |
| commit | de151994d105698a80da2b48bc9f007ee6965163 (patch) | |
| tree | 3517ea6edeb6dc3b4a298a24a1e8a2e52694401e /.gitignore | |
| parent | c17a519c3c3f07d483708d0ef9e1ed63d93033ea (diff) | |
spec: Allow Cabal HEAD to fail to compile
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions