diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-23 07:16:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-23 07:16:13 +0200 |
| commit | daa41802109d690962129cd7a4264ad1f9a23068 (patch) | |
| tree | dd82ce7e0241df5c4baff947e15135dec280e912 /modules/regex/config.py | |
| parent | d6225b1e0004c57cc50452ddb5d512fd6556a523 (diff) | |
| parent | 85a5290ee8a4c95be19f086181379330baf0deed (diff) | |
Merge pull request #5364 from RandomShaper/windows-high-contrast-compat
Make editor compatible with Windows high contrast themes
Diffstat (limited to 'modules/regex/config.py')
0 files changed, 0 insertions, 0 deletions