aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.ide
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2015-12-14 13:33:47 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2015-12-14 13:37:01 +0100
commit469cb750c6c1aa46f77b2a89a36f79f29aa97073 (patch)
tree03ea46d4888936d910b2c56e82b64859b10e5832 /INSTALL.ide
parentc377938a8f87d9c0517aa0c7d4564323951a2133 (diff)
Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk
2.14. Debian ships with lablgtk 2.16 only since a few months, so we apply the fix to trunk instead. This reverts commits: 490160d25d3caac1d2ea5beebbbebc959b1b3832. ef8718a7fd3bcd960d954093d8c636525e6cc492. 6f9cc3aca5bb0e5684268a7283796a9272ed5f9d. 901a9b29adf507370732aeafbfea6718c1842f1b.
Diffstat (limited to 'INSTALL.ide')
-rw-r--r--INSTALL.ide2
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.ide b/INSTALL.ide
index b651e77db..6e41b2d05 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -39,7 +39,7 @@ COMPILATION REQUIREMENTS
install GTK+ 2.x, should you need to force it for one reason
or another.)
- The OCaml bindings for GTK+ 2.x, lablgtk2 with support for gtksourceview2.
- You need at least version 2.16.
+ You need at least version 2.14.2.
Your distribution may contain precompiled packages. For example, for
Debian, run