[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