diff options
author | Sam James <sam@gentoo.org> | 2024-04-20 05:40:31 +0100 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2024-04-20 05:41:58 +0100 |
commit | 4428c37127dfcb9d91cdd9bbb9f9919dea3eba7f (patch) | |
tree | 179ca7ab74bb0ea2e1a6d607a648b577871c9ac1 /dev-ros/base_local_planner/base_local_planner-1.17.0.ebuild | |
parent | net-libs/rustls-ffi: add 0.13.0 (diff) | |
download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip |
This reverts commit f3308126e5bf44da62d79bea5e97de819cb6e457 and then
fixes the dep another way.
asturm points out that krdc's usage is of the executable so either
should be fine after b8adacb0f2818c0e592067c30c11ea7a8788a32f.
Instead, let's use :* then.
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ros/base_local_planner/base_local_planner-1.17.0.ebuild')
0 files changed, 0 insertions, 0 deletions