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:
Diffstat (limited to 'extras/PyBinding/configure')
-rwxr-xr-xextras/PyBinding/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/PyBinding/configure b/extras/PyBinding/configure
index 6738764155..25e4b9588b 100755
--- a/extras/PyBinding/configure
+++ b/extras/PyBinding/configure
@@ -1,10 +1,10 @@
#!/bin/bash
-VERSION=2.8.4
+VERSION=2.8.4.1
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;2.8.4 monodevelop-core-addins;2.7"
+common_packages=" gtk-sharp-2.0;2.12.8 mono-addins;0.3 monodevelop;2.8.4.1 monodevelop-core-addins;2.7"
usage ()