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 /core/io/logger.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 'core/io/logger.h')
0 files changed, 0 insertions, 0 deletions