Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-util/catkin/files/package_xml.patch
Commit message (Expand)AuthorAgeFilesLines
* dev-util/catkin: Install package.xml twice, once in ros_packages for fast sea...Alexis Ballier2017-02-281-19/+19
* dev-util/catkin: install package.xml in /usr/share/ros_packages/$PKG.Alexis Ballier2016-10-071-0/+37