fix dev box link

This commit is contained in:
Al Bowles 2022-06-13 18:30:24 -05:00
parent b1be795d04
commit ef6a54afa5

View file

@ -1,4 +1,4 @@
---
nav:
- Development Box Setup: development_boxes.md
- Development Box Setup: wiki_development_boxes.md
- Git Commit Signing: commit_signing.md