diff options
author | Thomas Steur <tsteur@users.noreply.github.com> | 2020-07-21 02:51:37 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-21 02:51:37 +0300 |
commit | 2c998d20227c26651a4f6599302335b322f1d04a (patch) | |
tree | 8c0ae5ddc74a5a22d63c7bf9168f7504c32202f5 /libs | |
parent | 6b6dc723c73dc4d59b2ae849d241270dc53e5a39 (diff) |
Allow plugins to configure custom user preferences (#16210)
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions