diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-05-07 00:13:12 +0400 |
---|---|---|
committer | www-data <www-data@pipeline.internalx.com> | 2013-05-07 00:13:12 +0400 |
commit | 12eedf8c047bbd1132f99a2bbfbb7cc6f4b7a248 (patch) | |
tree | 9228b66f264d4bb6798830ab0e3fd5e6f7f350f1 /extras/WebKitWebBrowser | |
parent | 7c48dce5b7105f51f250acc4031077e705c930b1 (diff) |
Updated package version to 4.1.2
Diffstat (limited to 'extras/WebKitWebBrowser')
-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 fb6135cc44..a9fa148b93 100755 --- a/extras/WebKitWebBrowser/configure +++ b/extras/WebKitWebBrowser/configure @@ -1,10 +1,10 @@ #!/usr/bin/env bash -VERSION=4.1.1 +VERSION=4.1.2 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;4.1.1 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;4.1.2 webkit-sharp-1.0;0.2" usage () |