diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-06 16:43:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-06 16:43:49 +0200 |
| commit | 52cfb5f5799af38e4aa543417a76999b732c3a54 (patch) | |
| tree | a7c68fc11abe089bce8d0e3c3ce642c76aefdc36 /platform/android/java/src | |
| parent | 85b07813b0045457a8f16801e1438e23ee2e4d79 (diff) | |
| parent | 2e3264259bc97410632314b95897c796e5a0ac85 (diff) | |
Merge pull request #31121 from willnationsdev/plugin-select-editor
Let EditorPlugins set editor/distraction-free mode
Diffstat (limited to 'platform/android/java/src')
0 files changed, 0 insertions, 0 deletions