Skip to content

added an EXPORT arg to allow for exporting for other packages to use - #3

Merged
davidt315 merged 3 commits into
mainfrom
david/add-install-option
Jul 29, 2026
Merged

added an EXPORT arg to allow for exporting for other packages to use#3
davidt315 merged 3 commits into
mainfrom
david/add-install-option

verify the export works as intended

513777b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ROS 2 jazzy
succeeded Jul 28, 2026 in 1m 3s