diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-20 13:07:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-20 13:07:53 +0200 |
commit | d6f8a43b600cc5236c5860c8f266b6f8afc9c23c (patch) | |
tree | b32994204a8f77a7b97e4966b2401bbd53a2fcf4 /thirdparty/zstd/zstd.h | |
parent | 8591691b9b7be784606a367142b0b83ecd5975dd (diff) | |
parent | ee2c26a7b3310a8c4ba25dc4b6cc056d3ee8c177 (diff) |
Merge pull request #24116 from Calinou/editor-theme-improved-checkbuttons
Improve CheckButtons in the default editor theme
Diffstat (limited to 'thirdparty/zstd/zstd.h')
0 files changed, 0 insertions, 0 deletions