diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-04 21:41:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-04 21:41:03 +0200 |
| commit | 80193260ff2734c368127bbc55228fa6ab3ebc2c (patch) | |
| tree | 16ef72f627298ef54c7f1be67f4f50ac494736bf /modules/text_server_adv | |
| parent | 52bfae1741625e2274e1f3b15a4d626d1e7daffd (diff) | |
| parent | ebcfd13c304ee7e22dfe786c2f2714c8203e66fe (diff) | |
Merge pull request #63915 from YuriSizov/editor-theme-type-is-wideboi
Diffstat (limited to 'modules/text_server_adv')
0 files changed, 0 insertions, 0 deletions