diff options
| author | Pablo Barciela <[email protected]> | 2018-07-17 23:13:18 +0200 |
|---|---|---|
| committer | Pablo Barciela <[email protected]> | 2018-07-17 23:13:18 +0200 |
| commit | e451bfe61952156ba6bdb63700f1089c2c52f766 (patch) | |
| tree | cb5cb6366df66b68dd3e6d5bd41f5c54224c80cf /.github | |
| parent | 8f3b1d625c86cc57b51c8acb3b1ab4e5f59d4d4d (diff) | |
| download | pluma-e451bfe61952156ba6bdb63700f1089c2c52f766.tar.bz2 pluma-e451bfe61952156ba6bdb63700f1089c2c52f766.tar.xz | |
pluma-view: pluma_override_font: add the provider only one time
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions