diff options
author | Robin Gareus <robin@gareus.org> | 2016-08-05 02:35:51 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-08-05 02:35:51 +0200 |
commit | 836f48457d443b72db2f0630f277718278735e65 (patch) | |
tree | 92af5a41c808fe07003822ed8efeebf3c0b22bf3 /patchfiles | |
parent | 65c2e089ab263c83bff7d2e945b80c53f80b749b (diff) |
add a "Pin Management" button to the plugin UI-header
Diffstat (limited to 'patchfiles')
0 files changed, 0 insertions, 0 deletions