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-06-04 00:12:23 +0400
committerwww-data <www-data@pipeline.internalx.com>2013-06-04 00:12:23 +0400
commit124a1e4f7110f898151890d1dfdeab95b9d6745a (patch)
tree2ed962bdabcb6576655d30d0a2f331cd839424fc /extras/JavaBinding/configure
parent9c476141d70675ecca4e55446f64acf29b24867f (diff)
Updated package version to 4.1.4
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 e72a8a2597..a4b5ec001c 100755
--- a/extras/JavaBinding/configure
+++ b/extras/JavaBinding/configure
@@ -1,5 +1,5 @@
#!/usr/bin/env bash
-VERSION=4.1.3
+VERSION=4.1.4
PACKAGE=monodevelop-java
prefix=/usr/local
config=DEBUG