Skip to content

Add reference to wrap docs#2206

Merged
dellaert merged 1 commit intodevelopfrom
doc/develop-wrap-note
Jul 30, 2025
Merged

Add reference to wrap docs#2206
dellaert merged 1 commit intodevelopfrom
doc/develop-wrap-note

Conversation

@p-zach
Copy link
Copy Markdown
Member

@p-zach p-zach commented Jul 28, 2025

You could also point users to the documentation file at https://github.com/borglab/wrap/blob/master/DOCS.md.

Adds reference to wrap docs to DEVELOP.md. Thanks for the link @varunagrawal, very useful info.

Copy link
Copy Markdown
Contributor

@varunagrawal varunagrawal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@dellaert dellaert merged commit 56d2951 into develop Jul 30, 2025
5 checks passed
@dellaert dellaert deleted the doc/develop-wrap-note branch July 30, 2025 06:47
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