diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2017-01-01 19:28:11 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-01 19:28:11 +0000 |
| commit | 158316cee76b977520734635b032f8838ef2a029 (patch) | |
| tree | c94b94db961966f9f46394875d80dac4be71d096 /.gitignore | |
| parent | 2feb1e21f749b9759dff813679f3242e7bc0dfd9 (diff) | |
Relax directory bound
GHC 8.0.2 ships with directory 1.3.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions