[gazebo] 04/04: Remove duplicate patch in series file

[Jose Luis Rivero]

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

jrivero-guest pushed a commit to branch master
in repository gazebo.

commit 4460d032e382ce936e93b4a7bfe82564642c54e9
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Thu Jun 26 23:39:17 2014 +0000

    Remove duplicate patch in series file
---
 debian/patches/series | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/patches/series b/debian/patches/series
index 968bae3..82b7ba2 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,4 +3,3 @@
 0003-respect-cmake-c-flags.patch
 0004-visibility-skyx.patch
 0005-fix-problems-on-manpage.patch
-0005-fix-problems-on-manpage.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git