diff options
author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-14 12:37:48 +0200 |
---|---|---|
committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-14 12:37:48 +0200 |
commit | 095fa970b32c818ed4c06cefc00ba98aaff756fa (patch) | |
tree | 7856c0dd1ddd0c1f3eef0422b0cd8e8a5a6b71cb /hoogle-test/src/Bug825/Bug825.hs | |
parent | 9816929b2e1e34cb33637329f7f1af37e1035f07 (diff) |
Travis: `--allow-newer` for all packages
Diffstat (limited to 'hoogle-test/src/Bug825/Bug825.hs')
0 files changed, 0 insertions, 0 deletions