diff options
| author | Johannes Mueller <github@johannes-mueller.org> | 2017-07-21 00:37:07 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-07-31 21:31:22 +0200 |
| commit | 4a60c277dbf28b5fd371a04e5d7ca3d7b8df669f (patch) | |
| tree | 6cf6044b7f3af205c1d8ff889122b6ac31175337 /doc | |
| parent | a61ae46c82616eff3ec1f8dd1e1385cad227d25e (diff) | |
Some abstractions to make the display look good in the plugin gui
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions