diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-16 18:48:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-16 18:48:58 +0200 |
| commit | cfdac0973c2f1e5a3349c3d80262be130744384a (patch) | |
| tree | a46c0cc1ffda2c4d39aab7ab699f54e8315612ed /servers | |
| parent | 8383e4e06d6420eba6e04106d5037aa18c4ed30b (diff) | |
| parent | bcfc591f86faf00fbed361a4feb2ee6024ea7e29 (diff) | |
Merge pull request #51698 from Paulb23/text-editor-settings
Reorganise text editor settings
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions