summaryrefslogtreecommitdiff
path: root/thirdparty/zstd/common
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <remi@verschelde.fr>2021-02-14 17:28:11 +0100
committerGitHub <noreply@github.com>2021-02-14 17:28:11 +0100
commit4a41367949bbb3086599fe845ff2d8e17f585931 (patch)
treebdf6839d7d35bd2e85ed009a527322e55526a266 /thirdparty/zstd/common
parentf5f3f440f165d913279cc2cbb68d2483bf855d72 (diff)
parent011fdece6d5a6570512b5b6fd112183363c7c318 (diff)
Merge pull request #42784 from mujpao/search-results-font-size-4.0
Make search results font follow code editor font
Diffstat (limited to 'thirdparty/zstd/common')
0 files changed, 0 insertions, 0 deletions