summaryrefslogtreecommitdiff
path: root/utils/makefile.sphinx
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-02-09 08:39:07 +0100
committerGitHub <noreply@github.com>2021-02-09 08:39:07 +0100
commit6c513095e4fb1f898dee84feea3719556759dd58 (patch)
tree0f2ef0a6f050e9e7b77b99f9ddaec304f1b3a4e7 /utils/makefile.sphinx
parentab8739809c8c5f4c1f12e4b15fa8c61afe30ef9f (diff)
parent138f32471c5dfe12299471037782ac353462be74 (diff)
Merge pull request #2553 from danielhones/improve-results-highlighting-updated
Ignore double-quotes when highlighting query parts
Diffstat (limited to 'utils/makefile.sphinx')
0 files changed, 0 insertions, 0 deletions