diff options
author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-11-06 23:42:10 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-11-08 07:17:09 +0400 |
commit | 1abde388e086f67712be280db372c4aa7595aa72 (patch) | |
tree | 29378e3680a5f23d8417ae97f7c294c6dc17dcd9 /extras/JavaBinding/configure | |
parent | ce856e4d345cd720b6cd88c3d663de16648f58b7 (diff) |
Updated package version to 4.2
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-x | extras/JavaBinding/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure index 4421342cb2..5ad382baec 100755 --- a/extras/JavaBinding/configure +++ b/extras/JavaBinding/configure @@ -1,5 +1,5 @@ #!/usr/bin/env bash -VERSION=4.1.13 +VERSION=4.2 PACKAGE=monodevelop-java prefix=/usr/local config=DEBUG |