Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
DynamoRIO
dynamorio
Merge requests
!4815
i#4111 web: Add direct section searches
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Derek Bruening
requested to merge
i4111-search-sectionn
into
master
Mar 27, 2021
Overview
2
Commits
1
Pipelines
0
Changes
1
Adds search entries for section headers which target the anchor links directly.
Issue:
#4111