From 23cbf9936e95d5ecb33a72d0647b75ac08f52851 Mon Sep 17 00:00:00 2001 From: Ruben Verborgh Date: Tue, 29 Jun 2021 15:23:27 +0100 Subject: [PATCH] docs: Rename documentation into guides. --- {documentation => guides}/Create-a-custom-configuration.md | 0 {documentation => guides}/FAQ-for-developers.md | 0 {documentation => guides}/Notes-for-developers.md | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename {documentation => guides}/Create-a-custom-configuration.md (100%) rename {documentation => guides}/FAQ-for-developers.md (100%) rename {documentation => guides}/Notes-for-developers.md (100%) diff --git a/documentation/Create-a-custom-configuration.md b/guides/Create-a-custom-configuration.md similarity index 100% rename from documentation/Create-a-custom-configuration.md rename to guides/Create-a-custom-configuration.md diff --git a/documentation/FAQ-for-developers.md b/guides/FAQ-for-developers.md similarity index 100% rename from documentation/FAQ-for-developers.md rename to guides/FAQ-for-developers.md diff --git a/documentation/Notes-for-developers.md b/guides/Notes-for-developers.md similarity index 100% rename from documentation/Notes-for-developers.md rename to guides/Notes-for-developers.md