diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-03 07:50:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-03 07:50:22 +0100 |
| commit | a02d79191a13b9194a51e1a9c3f250d14e28b2c8 (patch) | |
| tree | 8f3f53c7c6ec00ac0c6b26b43525565fd81df21b /main/main_builders.py | |
| parent | 60182d6b5aed2d672111f4a2b8e776d21a7a009c (diff) | |
| parent | 6348dfa948783fd570f494246c4aa0dc602e6159 (diff) | |
Merge pull request #33275 from YeldhamDev/big_brain_dimming
Make the editor dimming even more smarter
Diffstat (limited to 'main/main_builders.py')
0 files changed, 0 insertions, 0 deletions