diff options
| author | monsta <[email protected]> | 2017-04-19 14:45:49 +0300 |
|---|---|---|
| committer | monsta <[email protected]> | 2017-04-19 14:45:49 +0300 |
| commit | 947da76491a293717a5e94346a1193f6b17d9c0b (patch) | |
| tree | ab9ab2cf83e59fa5cb1925edc7d35c26f9b7c4ed /plugins | |
| parent | 961a50919672f1219f8ed336c194c2b49ea880b6 (diff) | |
| download | pluma-947da76491a293717a5e94346a1193f6b17d9c0b.tar.bz2 pluma-947da76491a293717a5e94346a1193f6b17d9c0b.tar.xz | |
docs: we have encodings combobox, not option menu
it was ported even before our fork from gedit:
https://git.gnome.org/browse/gedit/commit/?id=820ce8820a8db40eca5ca0b63f2d6e3a07416373
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions