diff options
| author | Davide Beatrici <davidebeatrici@gmail.com> | 2018-03-25 16:12:14 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-25 16:12:14 +0300 |
| commit | 26c732fb0819a4f2617a873a3a9088315ca576ea (patch) | |
| tree | b14f3b4f01ffc77a54a95c07f336b01a6e30bc0d /plugins | |
| parent | b25db3e14fd17b168d9c90d5382ed0ef2c3730eb (diff) | |
| parent | 3575a4c8a7d3a4e419e3e1fcaa77d56cadf6ab29 (diff) | |
Merge PR #3381: About: allow text in "About" tab to be selected
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions