[gazebo] 02/04: Remove obsolete files

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Tue Jan 26 13:12:10 UTC 2016


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

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

commit a1f2145062fb0cc1b59f9cabe3a35c6056a3199e
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jan 26 13:45:52 2016 +0100

    Remove obsolete files
---
 debian/libgazebo6-dev.install | 4 ----
 debian/libgazebo6.install     | 1 -
 2 files changed, 5 deletions(-)

diff --git a/debian/libgazebo6-dev.install b/debian/libgazebo6-dev.install
deleted file mode 100644
index bc82394..0000000
--- a/debian/libgazebo6-dev.install
+++ /dev/null
@@ -1,4 +0,0 @@
-usr/include/*
-usr/lib/*/*.so
-usr/lib/*/pkgconfig/*.pc
-usr/lib/*/cmake/gazebo/*.cmake
diff --git a/debian/libgazebo6.install b/debian/libgazebo6.install
deleted file mode 100644
index 3de3b10..0000000
--- a/debian/libgazebo6.install
+++ /dev/null
@@ -1 +0,0 @@
-usr/lib/*/*.so.*

-- 
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