diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-13 21:58:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-13 21:58:08 +0100 |
| commit | 2b95372ad1470e374112c5424848eea501465b86 (patch) | |
| tree | 81290dea8963930e84c3a7c067e55fb47b1673e2 /version.py | |
| parent | 4c0d88919130f6071b2ec94d01a50112021a4e2a (diff) | |
| parent | 288540a690e13224800d4d228383cb35f7dd09f3 (diff) | |
Merge pull request #45956 from reduz/fix-editor-always-redrawing
Fix editor always redrawing
Diffstat (limited to 'version.py')
0 files changed, 0 insertions, 0 deletions