diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-07-21 12:15:25 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-21 12:15:25 -0400 |
commit | 8a61923802aa10853e557e216a845109d3798480 (patch) | |
tree | f7546fa17e344c4937812fa401f52f3aecf55b5a /haddock-api/resources/html/quick-jump.min.js | |
parent | 1e7cbc13861e97a42af0bc7d7e56f8b425ba984c (diff) | |
parent | a4c12891cb0e4287213c086d7e3908f262da446b (diff) |
Merge pull request #1214 from hsyl20/wip/hsyl20/hadrian/ncg
Rename hscTarget into backend
Diffstat (limited to 'haddock-api/resources/html/quick-jump.min.js')
0 files changed, 0 insertions, 0 deletions