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/PyBinding
parent9c476141d70675ecca4e55446f64acf29b24867f (diff)
Updated package version to 4.1.4
Diffstat (limited to 'extras/PyBinding')
-rwxr-xr-xextras/PyBinding/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/PyBinding/configure b/extras/PyBinding/configure
index 0ebd80b1c8..c304d56133 100755
--- a/extras/PyBinding/configure
+++ b/extras/PyBinding/configure
@@ -1,10 +1,10 @@
#!/usr/bin/env bash
-VERSION=4.1.3
+VERSION=4.1.4
PACKAGE=monodevelop-python
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
-common_packages=" gtk-sharp-2.0;2.12.8 mono-addins;0.3 monodevelop;4.1.3 monodevelop-core-addins;2.7"
+common_packages=" gtk-sharp-2.0;2.12.8 mono-addins;0.3 monodevelop;4.1.4 monodevelop-core-addins;2.7"
usage ()