[urdfdom] 02/04: Update package name
Jose Luis Rivero
jrivero-guest at moszumanska.debian.org
Mon Aug 22 14:36:53 UTC 2016
This is an automated email from the git hooks/post-receive script.
jrivero-guest pushed a commit to branch master
in repository urdfdom.
commit a3d2425a10fb3180ba6a1bed9be2243db2aa5b96
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date: Mon Aug 22 14:32:36 2016 +0000
Update package name
---
debian/rules | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/debian/rules b/debian/rules
index 052ecdb..541d74e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,4 +13,4 @@ override_dh_auto_clean:
dh_auto_clean --
override_dh_strip:
- dh_strip -a --dbg-package=liburdfdom0.4-dbg
+ dh_strip -a --dbg-package=liburdfdom-dbg
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/urdfdom.git
More information about the debian-science-commits
mailing list