[Pkg-cli-apps-commits] [monodevelop] 04/08: Refresh debian/patches/no_appmenu to ensure it applies

[Jo Shields]

This is an automated email from the git hooks/post-receive script.

directhex pushed a commit to annotated tag debian/4.0.12+dfsg-1
in repository monodevelop.

commit b98975288109d609067d9c617772e18b021bc03a
Author: Jo Shields <directhex at apebox.org>
Date:   Thu Oct 10 12:01:01 2013 +0200

    Refresh debian/patches/no_appmenu to ensure it applies
---
 debian/patches/no_appmenu |   10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/debian/patches/no_appmenu b/debian/patches/no_appmenu
index d8fefe0..cf7225f 100644
--- a/debian/patches/no_appmenu
+++ b/debian/patches/no_appmenu
@@ -1,7 +1,9 @@
---- a/monodevelop.in
-+++ b/monodevelop.in
-@@ -16,6 +16,9 @@
- 	_MONO_OPTIONS=$MONO_OPTIONS
+Index: monodevelop/monodevelop.in
+===================================================================
+--- monodevelop.orig/monodevelop.in	2013-10-10 12:00:23.300558627 +0200
++++ monodevelop/monodevelop.in	2013-10-10 12:00:23.296558662 +0200
+@@ -25,6 +25,9 @@
+ 	MONO_OPTIONS="$MONO_OPTIONS --gc=sgen"
  fi
  
 +# Monodevelop menus don't work with Ubuntu appmenu

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-cli-apps/packages/monodevelop.git