diff options
| author | Sorokin Alexei <[email protected]> | 2016-03-07 00:45:46 +0300 |
|---|---|---|
| committer | Sorokin Alexei <[email protected]> | 2016-03-07 00:45:46 +0300 |
| commit | c0efce1fb03875877ddc9e7d3a7aca77b10fd434 (patch) | |
| tree | d66b646edca1db8e717b5ef9a3771f8dd8eff186 /src/profile-manager.ui | |
| parent | 087b25e1c35659f28e85e464e99a6970eba97dff (diff) | |
| download | mate-terminal-c0efce1fb03875877ddc9e7d3a7aca77b10fd434.tar.bz2 mate-terminal-c0efce1fb03875877ddc9e7d3a7aca77b10fd434.tar.xz | |
GTK+3.20: fix window sizes
caused by https://git.gnome.org/browse/gtk+/commit/?id=08974a1,
fixes #111
Diffstat (limited to 'src/profile-manager.ui')
0 files changed, 0 insertions, 0 deletions