From c227aecd0225980aaa1dfd206d36539ac2cb5fbd Mon Sep 17 00:00:00 2001 From: x Date: Mon, 20 Nov 2023 19:26:24 +0100 Subject: [PATCH] mv dev/development.md dev/dev.md --- doc/src/SUMMARY.md | 2 +- doc/src/dev/{development.md => dev.md} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename doc/src/dev/{development.md => dev.md} (100%) diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md index f9eacc95e..475c33af4 100644 --- a/doc/src/SUMMARY.md +++ b/doc/src/SUMMARY.md @@ -19,7 +19,7 @@ # Developer Doc -- [Development](dev/development.md) +- [Development](dev/dev.md) - [Contribute](dev/contribute.md) - [Learn](dev/learn.md) - [API Rustdoc](dev/rustdoc.md) diff --git a/doc/src/dev/development.md b/doc/src/dev/dev.md similarity index 100% rename from doc/src/dev/development.md rename to doc/src/dev/dev.md