diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-22 08:17:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-22 08:17:33 +0100 |
| commit | bf7d6de55662d7f4f9e82e69920582cf8ec55375 (patch) | |
| tree | 8c7a7d216c44f104e43ca5dce7b4fd315efce794 /editor/editor_run.h | |
| parent | f12c0d1e9887f9181c615fe2a2483795db3459ac (diff) | |
| parent | e9244c4c23a6da21b2330a664e734cf50cd8350a (diff) | |
Merge pull request #36441 from YeldhamDev/tabs_unused_constants
Remove unused theme constants in Tab(Container)
Diffstat (limited to 'editor/editor_run.h')
0 files changed, 0 insertions, 0 deletions