diff options
author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 15:06:06 +0200 |
---|---|---|
committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 15:09:05 +0200 |
commit | 88aac156228f94e17b81d8bcfb961ddcde878489 (patch) | |
tree | 54e4f565c6a893c32b8fb6532291142865f12f58 /haddock-api/resources/html/Classic.theme/plus.gif | |
parent | 051427bce8e0e42610b6a6332e121aebf7bf244b (diff) |
Additional tests for the identifier parser (#816)
* Add tests for the identifier parser
* docs: Clarify how to delimit identifiers
(cherry picked from commit 0861affeca4d72938f05a2eceddfae2c19199071)
Diffstat (limited to 'haddock-api/resources/html/Classic.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions