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 /src/strawman | |
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 'src/strawman')
0 files changed, 0 insertions, 0 deletions