From 3c4a0fb7731302029ae1161cbd0fa98300d9aafa Mon Sep 17 00:00:00 2001 From: Pierre Vanduynslager Date: Thu, 22 Aug 2019 12:11:03 -0400 Subject: [PATCH] revert: docs: cleaned "Developer guide" section navigation This reverts commit b08486327d038e7ee285489bd8cb4f073ed72baa. --- SUMMARY.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/SUMMARY.md b/SUMMARY.md index 684c9e7bd6..e794682366 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -22,8 +22,8 @@ ## Developer guide - [JavaScript API](docs/developer-guide/js-api.md) -- [Plugin development](docs/developer-guide/plugin.md) -- [Shareable configuration development](docs/developer-guide/shareable-configuration.md) +- [Plugin](docs/developer-guide/plugin.md) +- [Shareable configuration](docs/developer-guide/shareable-configuration.md) ## Support - [Resources](docs/support/resources.md)