Skip to content

Documentation Updates#2285

Merged
dellaert merged 3 commits intoborglab:developfrom
Robert-Jia00129:patch-1
Oct 15, 2025
Merged

Documentation Updates#2285
dellaert merged 3 commits intoborglab:developfrom
Robert-Jia00129:patch-1

Conversation

@Robert-Jia00129
Copy link
Copy Markdown
Contributor

Documentation Updates

  • Added easier references to Python and C++ docs

It was very hard to find Python docs. Adding the docs as symbols on the very top. Looks great and doesn't really take up space.
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.

Awesome, thanks!

@dellaert dellaert merged commit 59b8196 into borglab:develop Oct 15, 2025
3 checks passed
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