diff options
Diffstat (limited to 'extras/WebKitWebBrowser/configure')
-rwxr-xr-x | extras/WebKitWebBrowser/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/WebKitWebBrowser/configure b/extras/WebKitWebBrowser/configure index d21666ae6b..81c36feb03 100755 --- a/extras/WebKitWebBrowser/configure +++ b/extras/WebKitWebBrowser/configure @@ -1,10 +1,10 @@ #!/usr/bin/env bash -VERSION=3.0.3.3 +VERSION=3.0.3.4 PACKAGE=webkitwebbrowser prefix=/usr/local config=DEBUG configurations=" RELEASE DEBUG" -common_packages=" glade-sharp-2.0;2.12.8 glib-sharp-2.0;2.12.8 gtk-sharp-2.0;2.12.8 monodevelop;3.0.3.3 webkit-sharp-1.0;0.2" +common_packages=" glade-sharp-2.0;2.12.8 glib-sharp-2.0;2.12.8 gtk-sharp-2.0;2.12.8 monodevelop;3.0.3.4 webkit-sharp-1.0;0.2" usage () |