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/Ocean.std-theme | |
| 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/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions