From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 12 May 2013 13:40:36 +0000 (+0200)
Subject: Update INSTALL file
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2549f3e3a8401a1e55bba5abfb0291a06f210886;p=pspp

Update INSTALL file
---

diff --git a/INSTALL b/INSTALL
index 5d1775cd88..cbe5fd2b2c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -70,7 +70,7 @@ use the GUI, you must run `configure' with --without-gui.
       0.18 and 0.19 have a bug that will prevent library detection,
       but other versions should be fine.
 
-    * GTK+ (http://www.gtk.org/), version 2.12.0 or later.
+    * GTK+ (http://www.gtk.org/), version 2.16.0 or later.
 
     * GtkSourceView (http://projects.gnome.org/gtksourceview/) 
       version 2.2 or later.