diff options
author | ningning <xnningxie@gmail.com> | 2018-08-25 22:00:18 -0400 |
---|---|---|
committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-09-15 10:25:58 -0400 |
commit | b66a830b5b1c0166d17f695e7405058650d57ed0 (patch) | |
tree | a69650220ca0357928c389bee818557f4baa09c1 /haddock-api/resources/html/NewOcean.std-theme/synopsis.png | |
parent | 8635e4b9fc5c853d1432131fc736eff04a5492ca (diff) |
Update according to GHC Core changes
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions