diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-06-17 13:06:40 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-19 18:14:27 -0400 |
| commit | 5e3cf5d8868323079ff5494a8225b0467404a5d1 (patch) | |
| tree | 92e34b6a0caa4034adf11ae4e8a72d95696e23a3 /haddock-api/resources/html/Ocean.theme | |
| parent | d58fff78de7d48546a22392cefdd0abab1f1ccec (diff) | |
Bump GHC version to 8.6
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme')
0 files changed, 0 insertions, 0 deletions