diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-21 21:55:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-21 21:55:41 +0200 |
| commit | bfcc29635f92d5054de1acc0a51561638b28570b (patch) | |
| tree | 6b89434a3240e0eca31e377897045545e4a01e0e /editor/editor_themes.cpp | |
| parent | ba57252bd8d7928c29e818b1ccf557e279c33ca0 (diff) | |
| parent | 6c2fd039592add30ad487fc7278cd2c53b826b61 (diff) | |
Merge pull request #52913 from Paulb23/text-edit-search-theme
Diffstat (limited to 'editor/editor_themes.cpp')
0 files changed, 0 insertions, 0 deletions