diff options
author | 2017-02-28 09:24:16 +0100 | |
---|---|---|
committer | 2017-02-28 12:26:49 +0100 | |
commit | 4be2f6509bf1c198360af74212cd49e1751b340c (patch) | |
tree | 05db8baadd4d5a12d9d8e303693fae7b3ca1dce6 /dev-python/babelfish | |
parent | dev-python/catkin_pkg: remove old (diff) | |
download | gentoo-4be2f6509bf1c198360af74212cd49e1751b340c.tar.gz gentoo-4be2f6509bf1c198360af74212cd49e1751b340c.tar.bz2 gentoo-4be2f6509bf1c198360af74212cd49e1751b340c.zip |
dev-util/catkin: Install package.xml twice, once in ros_packages for fast searching/crawling, once in its standard location for other tools to find it.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-python/babelfish')
0 files changed, 0 insertions, 0 deletions