diff options
| author | raveit65 <[email protected]> | 2016-07-29 17:19:02 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-07-30 13:47:30 +0200 |
| commit | 75263e708b69711eafec10ede52a31edbb4e2450 (patch) | |
| tree | 027efaaff785edeeadba467e463dc10440373b21 /plugins/time | |
| parent | 46c3867de5bcdb6abd83724fb6b4654bad21ef75 (diff) | |
| download | pluma-75263e708b69711eafec10ede52a31edbb4e2450.tar.bz2 pluma-75263e708b69711eafec10ede52a31edbb4e2450.tar.xz | |
GTK+-3: do not use deprecated gtk_widget_modify_font
Diffstat (limited to 'plugins/time')
0 files changed, 0 insertions, 0 deletions