diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-19 21:35:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-19 21:35:11 +0100 |
| commit | f163b0e4b4da163de121503ca93aad212f053be4 (patch) | |
| tree | b0cb95a6fa85211bb744c57de56de8e902c66738 /doc | |
| parent | 3564895b63c50c2c903750df63b6f39bf0c35d37 (diff) | |
| parent | 1ca122c771e1dceb9452c768948ffbf378892406 (diff) | |
Merge pull request #16241 from Chaosus/zoomlabel
Added zoom label to code editor
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions