diff options
author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 15:06:06 +0200 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-20 15:06:06 +0200 |
commit | 0861affeca4d72938f05a2eceddfae2c19199071 (patch) | |
tree | 0e41f95605ed31545a45599dc9a7b35073878838 /haddock-api/resources/html/Ocean.theme/synopsis.png | |
parent | 5ec7715d418bfac0f26aec6039792a99a6e89370 (diff) |
Additional tests for the identifier parser (#816)
* Add tests for the identifier parser
* docs: Clarify how to delimit identifiers
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions