diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-02-23 10:28:13 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-23 10:28:13 -0500 |
| commit | 844c0c47a223e2e1bb3767afc05639269dad8ee9 (patch) | |
| tree | c5603db417765a909081a564859004b2d4e0b9dd /haddock-api/resources/html/NewOcean.std-theme/synopsis.png | |
| parent | e185254b6cb8a7811eeed1f993612c90b2ff757e (diff) | |
| parent | 59932f1749394fedc3533bea1474bc9e207824e1 (diff) | |
Merge remote-tracking branch 'upstream/ghc-head' into HEAD
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions