diff options
| author | Pablo Barciela <[email protected]> | 2018-07-24 00:54:36 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-07-30 17:33:51 +0200 |
| commit | b2ca8c4cb34f8efae18d4849eb25369c6a6b935b (patch) | |
| tree | 34b9423dad7875d7ce6540989978c057f2f8d12a /.github | |
| parent | f952be314bfc867bbc7ab249af960407a4c1aed7 (diff) | |
| download | pluma-b2ca8c4cb34f8efae18d4849eb25369c6a6b935b.tar.bz2 pluma-b2ca8c4cb34f8efae18d4849eb25369c6a6b935b.tar.xz | |
pluma-view: sync the font in context-menu with gsettings key
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions