diff options
| author | alexwl <alexey.a.kiryushin@gmail.com> | 2019-02-20 18:58:57 +0300 |
|---|---|---|
| committer | alexwl <alexey.a.kiryushin@gmail.com> | 2019-02-20 18:58:57 +0300 |
| commit | eddf2c825dee199de0e958857f0daf3d08a07532 (patch) | |
| tree | a2901b6273012308fb0b40a34c4610536a1da9e5 /javascript/vendor/jquery-ui-1.12.1.custom/images/ui-icons_777620_256x240.png | |
| parent | c831f86d259b6d949b0f71b894c7f2b07b4eed15 (diff) | |
Adds an option to use public Hoogle JSON API (https://github.com/ndmitchell/hoogle/blob/3dbf68bfd701f942d3af2e6debb74a0a78cd392e/docs/API.md#json-api) to get documentation for not indexed packages. Closes #21.
Diffstat (limited to 'javascript/vendor/jquery-ui-1.12.1.custom/images/ui-icons_777620_256x240.png')
0 files changed, 0 insertions, 0 deletions