diff options
| author | 2018-03-06 17:36:55 +0000 | |
|---|---|---|
| committer | 2018-03-06 17:36:55 +0000 | |
| commit | 4f8464de33fa26b0a7d7cfef7a342d71390b68d1 (patch) | |
| tree | 6eb18302d1576795243d6c253c218e3d38877d2d /docs/html | |
| parent | 554f8157f461fb3e981a57fb9c1d2855110db7c7 (diff) | |
| parent | bda1d9e740f2a1db186baedc41524cd2d56d145a (diff) | |
Merge "Don't use highlighting in non-selectable text. Also fixes potential discrepancy in indexes for Linkified entities."
Diffstat (limited to 'docs/html')
0 files changed, 0 insertions, 0 deletions