diff options
author | Egmont Koblinger <egmont@gmail.com> | 2018-02-04 00:32:16 +0100 |
---|---|---|
committer | Egmont Koblinger <egmont@gmail.com> | 2018-02-04 00:32:16 +0100 |
commit | 42da010df60c14939f811dcb6b9ba03f1dbe6107 (patch) | |
tree | 60beff8a2b3449fd2a4e11629b2076b3aee50ca3 /configure.ac | |
parent | 7cb0891d70c38f7cf631555b2877d12e1ca12618 (diff) | |
download | gnome-terminal-42da010df60c14939f811dcb6b9ba03f1dbe6107.tar.gz |
prefs: editor: Merge the Preferences and Profile Preferences windows
https://bugzilla.gnome.org/show_bug.cgi?id=722114
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 0dfb0c91..9a3b2be5 100644 --- a/configure.ac +++ b/configure.ac @@ -62,7 +62,7 @@ case "$with_gtk" in 3.0) GTK_API_VERSION=3.0 GTK_REQUIRED=3.12.0 GTK_MIN_REQUIRED=3.8 - GTK_MAX_ALLOWED=3.20 + GTK_MAX_ALLOWED=3.22 VTE_API_VERSION=2.91 VTE_REQUIRED=0.51.3 ;; |