Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] Patch to add CATKIN_PREFIX_PATH support to _setup_util.py.in
_setup_util_catkin_prefix_path.patch (text/plain), 637 bytes, created by Eric Timmons on 2016-06-16 13:26:10 UTC
(hide)
 
Creator: Eric Timmons
Created: 2016-06-16 13:26:10 UTC
Size: 637 bytes
Actions: View | Diff
Attachments on bug 586104: 437748 | 437750