diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-25 20:16:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-25 20:16:46 -0700 |
| commit | cd520e9907b9a56cae5a2e51413eef1522a37bbb (patch) | |
| tree | fdf7926aaa9b7a14dbf9b5bc864f19636facd80a /haddock-api/resources/html/Ocean.theme | |
| parent | b4b68d73df3485f3b0ea59c6170805788a09c593 (diff) | |
Avoid more conflicts in generated ids (#954)
This fixes #953 by passing more names into the generated ids.
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme')
0 files changed, 0 insertions, 0 deletions