Skip to content

Feature/update users page#271

Merged
jamoralp merged 6 commits into
masterfrom
feature/update_users_page
Jan 20, 2021
Merged

Feature/update users page#271
jamoralp merged 6 commits into
masterfrom
feature/update_users_page

Conversation

@FranFin
Copy link
Copy Markdown
Contributor

@FranFin FranFin commented Jan 18, 2021

Updated lists of partners and users.
Added "collaborators" category.
Expanded section title to reflect all categories described.
Added moveit2 demo as a submodule.
Added a blogpost linking to Ralph's post o Bosch research blog.

pablogs9
pablogs9 previously approved these changes Jan 18, 2021
pablogs9
pablogs9 previously approved these changes Jan 20, 2021
@FranFin FranFin closed this Jan 20, 2021
@FranFin FranFin reopened this Jan 20, 2021
@jamoralp jamoralp merged commit b054ba1 into master Jan 20, 2021
@jamoralp jamoralp deleted the feature/update_users_page branch January 20, 2021 13:39
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