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:
authorDuncan Mak <duncan.mak@xamarin.com>2012-05-09 02:43:04 +0400
committerDuncan Mak <duncan.mak@xamarin.com>2012-05-09 02:43:04 +0400
commit4b4022e543f3e4f348014c75bb9324c734b50c33 (patch)
tree5c57aa68d0e8fa9c20bcd1a2bd32a8b6eac338ab /extras/MonoDevelop.MonoMac/configure
parent3fe00be9565c638836145d7db34e26ab53e1f2c6 (diff)
Updated package version to 3.1.0
Diffstat (limited to 'extras/MonoDevelop.MonoMac/configure')
-rwxr-xr-xextras/MonoDevelop.MonoMac/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/MonoDevelop.MonoMac/configure b/extras/MonoDevelop.MonoMac/configure
index 042a5c01d1..cd65795ed5 100755
--- a/extras/MonoDevelop.MonoMac/configure
+++ b/extras/MonoDevelop.MonoMac/configure
@@ -1,6 +1,6 @@
#!/bin/bash
prefix=/usr/local
-common_packages=" mono-addins;0.3 monodevelop; monodevelop-core-addins;2.7"
+common_packages=" mono-addins;0.3 monodevelop;3.1.0 monodevelop-core-addins;2.7"
usage ()
{