aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorBlaž Hrastnik2021-12-06 03:48:25 +0000
committerBlaž Hrastnik2021-12-06 03:48:25 +0000
commita2b22ec15207926acf9bbf6617492925a6e50d27 (patch)
tree3026c4e0f92433510db13ba86eefa13d83568198 /.gitmodules
parentcab09093dd5bf9b4707bfdfd8529b348c02670ea (diff)
Use binary_search when looking up diagnostics
They're sorted by range so they should also be sorted by line
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions