From ef6a54afa54d79cbc3faddbb6ec1738039a7ecb5 Mon Sep 17 00:00:00 2001 From: Al Bowles Date: Mon, 13 Jun 2022 18:30:24 -0500 Subject: [PATCH] fix dev box link --- dev_guides/.pages | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev_guides/.pages b/dev_guides/.pages index 52fe553..6ecf067 100644 --- a/dev_guides/.pages +++ b/dev_guides/.pages @@ -1,4 +1,4 @@ --- nav: - - Development Box Setup: development_boxes.md + - Development Box Setup: wiki_development_boxes.md - Git Commit Signing: commit_signing.md