diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-09-15 23:22:08 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-09-16 15:12:28 +0200 |
| commit | 7533778760d893633501eb6b9492756b3724c8ab (patch) | |
| tree | ff34bb4de1f027720dce9592683f17bc9763b8b8 /editor/plugins | |
| parent | 5614692a1a82ef0ce6fa1d268903ff38787bd728 (diff) | |
Improve checkboxes in the default editor theme
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions