diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-26 18:55:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-26 18:55:31 +0200 |
| commit | 39579d2a6d1a59edfd49d054804f173f0d25d900 (patch) | |
| tree | d867148b284847913843e6d9c0693b69d7fa05e4 /modules/mono | |
| parent | 67ce3f7424250907681e50e3340a3950b000ca95 (diff) | |
| parent | 6f6a9d9c09c0cca1afc8701cccbf504c52054aad (diff) | |
Merge pull request #30839 from Calinou/simplify-dim-editor-settings
Simplify editor settings related to window dimming
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions