diff options
| author | Arnavion <arnavion@gmail.com> | 2015-02-27 17:33:33 -0800 |
|---|---|---|
| committer | Arnavion <arnavion@gmail.com> | 2015-02-27 17:33:33 -0800 |
| commit | 97bf0de0161b835d8fe23915b02f04d5da4c34ed (patch) | |
| tree | a027a6514e91a15203d3733df5750be327a0fbc2 /src/fe-gtk/ignoregui.c | |
| parent | b6c4cfa2a322de5ab3d1dc5f3ab306c1576c24d4 (diff) | |
Make Preferences option in plugin tray menu available on all platforms.
Diffstat (limited to 'src/fe-gtk/ignoregui.c')
0 files changed, 0 insertions, 0 deletions