Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXamarin Release Manager <release-manager@xamarin.com>2013-12-13 00:26:11 +0400
committerwww-data <www-data@pipeline.internalx.com>2013-12-13 00:26:11 +0400
commit6f655d03d332457e862564f7ab2bc121f81898b9 (patch)
tree934c4957d7b39ef892da6e489f5c8819caa510f2 /extras/JavaBinding/configure
parent0b6859823235670545f20e0f66d12bf5f037e470 (diff)
Updated package version to 4.2.3
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-xextras/JavaBinding/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure
index 5ad382baec..3b77b7e1f1 100755
--- a/extras/JavaBinding/configure
+++ b/extras/JavaBinding/configure
@@ -1,5 +1,5 @@
#!/usr/bin/env bash
-VERSION=4.2
+VERSION=4.2.3
PACKAGE=monodevelop-java
prefix=/usr/local
config=DEBUG