diff options
| author | Xamarin Release Manager <release-manager@xamarin.com> | 2013-07-12 18:03:08 +0400 |
|---|---|---|
| committer | www-data <www-data@pipeline.internalx.com> | 2013-07-12 18:03:08 +0400 |
| commit | 8c80f09a1fd58046d745f723e0d64b2d130f5820 (patch) | |
| tree | 926e7c81660a5859f54ef68e6a90dda60a1d0e27 /extras/MonoDevelop.Debugger.Gdb | |
| parent | c4bd17c94f5991d18051918afd2143d55c1d3cc6 (diff) | |
Updated package version to 4.1.7
Diffstat (limited to 'extras/MonoDevelop.Debugger.Gdb')
| -rwxr-xr-x | extras/MonoDevelop.Debugger.Gdb/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/MonoDevelop.Debugger.Gdb/configure b/extras/MonoDevelop.Debugger.Gdb/configure index 6d5845f78d..65908c69b4 100755 --- a/extras/MonoDevelop.Debugger.Gdb/configure +++ b/extras/MonoDevelop.Debugger.Gdb/configure @@ -1,10 +1,10 @@ #!/usr/bin/env bash -VERSION=4.1.4 +VERSION=4.1.7 PACKAGE=monodevelop-debugger-gdb prefix=/usr/local config=DEBUG configurations=" RELEASE DEBUG" -common_packages=" monodevelop;4.1.4" +common_packages=" monodevelop;4.1.7" usage () |