From 6913fe05ae48d5e9d399b2b8ff854547381bde33 Mon Sep 17 00:00:00 2001 From: Wyatt Johnson Date: Wed, 9 Aug 2017 09:38:09 +1000 Subject: [PATCH] fixes #841 --- docs/_docs/05-01-development-tools.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_docs/05-01-development-tools.md b/docs/_docs/05-01-development-tools.md index 609d3ef48..fc19a077c 100644 --- a/docs/_docs/05-01-development-tools.md +++ b/docs/_docs/05-01-development-tools.md @@ -1,6 +1,6 @@ --- title: Development Tooling -permalink: /docs/development/tools +permalink: /docs/development/tools/ --- ## Debugging