Skip to content

Commit

Permalink
Overview stub for dev guide
Browse files Browse the repository at this point in the history
  • Loading branch information
andrewjong committed Jul 2, 2024
1 parent b7e44ed commit 592c0c7
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 1 deletion.
File renamed without changes.
2 changes: 1 addition & 1 deletion mkdocs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ nav:
- "Tutorials": "user_guide/tutorials.md"
- "API Reference": "user_guide/api_reference.md"
- "Developer Guide":
- "Developer Home": "developer_guide/dev_guide.md"
- "Overview": "developer_guide/overview.md"
- "Autonomy":
- "Perception": "developer_guide/autonomy/perception.md"
- "Mapping": "developer_guide/autonomy/mapping.md"
Expand Down

0 comments on commit 592c0c7

Please sign in to comment.