diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 17:29:50 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 17:29:50 +0100 |
| commit | e0c1d1665c8100ccad6c324e8e15e38df9b39327 (patch) | |
| tree | e5553b111aef328b5cc71909f6978cf0b5401c23 /project | |
| parent | f179c9279f9f9a3bf9ef342900590e761855a696 (diff) | |
| download | dotty-e0c1d1665c8100ccad6c324e8e15e38df9b39327.tar.gz dotty-e0c1d1665c8100ccad6c324e8e15e38df9b39327.tar.bz2 dotty-e0c1d1665c8100ccad6c324e8e15e38df9b39327.zip | |
Fix highlighting in search, add highlights in forwarding links
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions