diff options
author | Pablo Barciela <[email protected]> | 2018-04-16 00:41:37 +0200 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2018-04-18 00:43:02 +0200 |
commit | 1eb3e7807e74f91c809e0ef57da2ef704fa54237 (patch) | |
tree | e1e3fe1cd8ce7ec4ae14d84271d7f70b11cb8384 /.github | |
parent | 4c0af0cacc5d40b4f8cb4f2561fe811c9333d0be (diff) | |
download | pluma-1eb3e7807e74f91c809e0ef57da2ef704fa54237.tar.bz2 pluma-1eb3e7807e74f91c809e0ef57da2ef704fa54237.tar.xz |
avoid 'gtk_info_bar_add_button' with stock ids
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions