Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Attachment #437748
Patch to add CATKIN_PREFIX_PATH support to _setup_util.py.in patch 2016-06-16 13:26:10 UTC 637 bytes no flags Details
Attachment #437750
emerge --info text/plain 2016-06-16 13:27:07 UTC 17.10 KB no flags Details