diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2015-08-31 08:24:03 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2015-08-31 08:24:03 +0200 |
| commit | b6b565a3cf533e510e94ebef0543b94b0ba9d0d8 (patch) | |
| tree | c57b85ae2ac7bfdb8fa201080258c1f9d101435d /.gitignore | |
| parent | 132aeadd04d2946d95d48034aad81117a8737374 (diff) | |
Also build with Cabal HEAD on travis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions