diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-07 16:57:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-07 16:57:09 +0200 |
| commit | 8976594f4b90edd42a926e483815c829a540d8d2 (patch) | |
| tree | dcae3391cc6c9a80789e758a0cd906cf96693c1a /thirdparty/minizip | |
| parent | af82dddb8cfb98a4c4656a1bd0be4f837e0b2cd9 (diff) | |
| parent | 027301fec79d6cd8143f25c95c23c6007279ec23 (diff) | |
Merge pull request #48536 from Calinou/editor-theme-custom-require-restart
Tweak the setting hint for the custom editor theme setting
Diffstat (limited to 'thirdparty/minizip')
0 files changed, 0 insertions, 0 deletions