[gazebo] 01/02: Remove duplicate robot-player-dev

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Fri Feb 27 02:29:00 UTC 2015


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

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

commit 65d716c4a8e0e00217b7bad30b385a80003434c0
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Fri Feb 27 03:10:32 2015 +0100

    Remove duplicate robot-player-dev
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index 48a110d..85cd25b 100644
--- a/debian/control
+++ b/debian/control
@@ -118,7 +118,6 @@ Depends: libtbb-dev,
 	 libgts-dev,
          libusb-1.0-0-dev,
          libgdal-dev,
-	 robot-player-dev,
 	 libavformat-dev,
 	 libavcodec-dev,
 	 libswscale-dev,

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



More information about the debian-science-commits mailing list