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-05-07 00:13:12 +0400
committerwww-data <www-data@pipeline.internalx.com>2013-05-07 00:13:12 +0400
commit12eedf8c047bbd1132f99a2bbfbb7cc6f4b7a248 (patch)
tree9228b66f264d4bb6798830ab0e3fd5e6f7f350f1 /extras/JavaBinding/configure
parent7c48dce5b7105f51f250acc4031077e705c930b1 (diff)
Updated package version to 4.1.2
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 3d37240f5c..08dae26f89 100755
--- a/extras/JavaBinding/configure
+++ b/extras/JavaBinding/configure
@@ -1,5 +1,5 @@
#!/usr/bin/env bash
-VERSION=4.1.1
+VERSION=4.1.2
PACKAGE=monodevelop-java
prefix=/usr/local
config=DEBUG