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-11-06 23:42:10 +0400
committerMichael Hutchinson <m.j.hutchinson@gmail.com>2013-11-08 07:17:09 +0400
commit1abde388e086f67712be280db372c4aa7595aa72 (patch)
tree29378e3680a5f23d8417ae97f7c294c6dc17dcd9 /extras/MonoDevelop.Debugger.Gdb
parentce856e4d345cd720b6cd88c3d663de16648f58b7 (diff)
Updated package version to 4.2
Diffstat (limited to 'extras/MonoDevelop.Debugger.Gdb')
-rwxr-xr-xextras/MonoDevelop.Debugger.Gdb/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/MonoDevelop.Debugger.Gdb/configure b/extras/MonoDevelop.Debugger.Gdb/configure
index dc0026eff6..b22c23f97e 100755
--- a/extras/MonoDevelop.Debugger.Gdb/configure
+++ b/extras/MonoDevelop.Debugger.Gdb/configure
@@ -1,10 +1,10 @@
#!/usr/bin/env bash
-VERSION=4.1.13
+VERSION=4.2
PACKAGE=monodevelop-debugger-gdb
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
-common_packages=" monodevelop;4.1.13"
+common_packages=" monodevelop;4.2"
usage ()