diff options
| author | Pablo Barciela <[email protected]> | 2018-05-09 17:19:05 +0200 |
|---|---|---|
| committer | Pablo Barciela <[email protected]> | 2018-05-09 17:19:05 +0200 |
| commit | 310bfc249aac3dd80511d3dade14aa06f3d9769a (patch) | |
| tree | 7e837c7bf7352df924eedbead36efeb82c58c002 /plugins/externaltools | |
| parent | a3dfb665d34094f15c72b967974490df4ddad31b (diff) | |
| download | pluma-310bfc249aac3dd80511d3dade14aa06f3d9769a.tar.bz2 pluma-310bfc249aac3dd80511d3dade14aa06f3d9769a.tar.xz | |
pluma-view.c: avoid deprecated 'gtk_widget_override_font'
Diffstat (limited to 'plugins/externaltools')
0 files changed, 0 insertions, 0 deletions