diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-12-04 17:06:31 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-12-04 17:06:31 -0500 |
| commit | e329a73765c510774e3a3f54472bcdeca48613f6 (patch) | |
| tree | c3f774cd03b2f41fd52bc04c1242812b2475e86e /doc/.gitignore | |
| parent | ae0d140334fff57f2737dbd7c5804b4868d9c3ab (diff) | |
Bump GHC bound to 8.4.*
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions