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>2012-03-30 21:39:33 +0400
committerwww-data <www-data@pipeline.internalx.com>2012-03-30 21:39:33 +0400
commitae6438f13b3a51afc7b7f33b4fa1795dd9bdb627 (patch)
tree1157892a118b8d7a4384a8176912b55df3339024 /extras/BooBinding
parent248c9c560cb31196c063fbda7c74bf83d1fd1579 (diff)
Updated package version to 2.9.4
Diffstat (limited to 'extras/BooBinding')
-rwxr-xr-xextras/BooBinding/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/BooBinding/configure b/extras/BooBinding/configure
index ae2c837658..857ef318ce 100755
--- a/extras/BooBinding/configure
+++ b/extras/BooBinding/configure
@@ -1,10 +1,10 @@
#!/bin/bash
-VERSION=2.9.3
+VERSION=2.9.4
PACKAGE=monodevelop-boo
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
-common_packages="gtk-sharp-2.0;2.12.8 monodevelop;2.9.3 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.7 boo;0.7.9.2659"
+common_packages="gtk-sharp-2.0;2.12.8 monodevelop;2.9.4 mono-addins;0.3 glib-sharp-2.0;2.12.8 monodevelop-core-addins;2.7 boo;0.7.9.2659"
usage ()