diff options
author | Ben Sklaroff <bsklaroff@gmail.com> | 2018-07-12 11:41:10 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-08-21 12:04:09 -0400 |
commit | 488aa22f393c0addb4c0e0b63cfe0aaea32b85d7 (patch) | |
tree | 4146f6a1e6fa0ef55f33159d573d64453d2a82f3 /haddock-api/resources/html/Ocean.theme | |
parent | 00a42146c2527d8ede65c35e60db9e112b4ccc03 (diff) |
Add ITcomment_line_prag token to Hyperlinker Parser
This token is necessary for parsing #line pragmas inside nested comments.
Reviewers: bgamari
Reviewed By: bgamari
Differential Revision: https://phabricator.haskell.org/D4935
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme')
0 files changed, 0 insertions, 0 deletions