Skip to content

Changed occurrences of micro-ros-build into micro_ros_setup.#214

Merged
jamoralp merged 3 commits into
masterfrom
feature/build_system_name
Sep 18, 2020
Merged

Changed occurrences of micro-ros-build into micro_ros_setup.#214
jamoralp merged 3 commits into
masterfrom
feature/build_system_name

Conversation

@FranFin

@FranFin FranFin commented Sep 9, 2020

Copy link
Copy Markdown
Contributor

No description provided.

@FranFin FranFin requested review from jamoralp and pablogs9 September 9, 2020 08:04
Comment thread _docs/overview/docker_ci_status/index.md Outdated
@pablogs9

pablogs9 commented Sep 9, 2020

Copy link
Copy Markdown
Member

@jamoralp merge if you approve

@jamoralp jamoralp merged commit 9cf6941 into master Sep 18, 2020
@jamoralp jamoralp deleted the feature/build_system_name branch September 18, 2020 07:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants