Update develop/dev-guide-overview.md

Co-authored-by: Lilian Lee <[email protected]>
pingcap · Nov 14, 2023 · f32694c · f32694c
1 parent 33aa037
commit f32694c
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/develop/dev-guide-overview.md b/develop/dev-guide-overview.md
@@ -1,12 +1,7 @@
 ---
 title: Developer Guide Overview
 summary: Introduce the overview of the developer guide.
-aliases:
-  [
-    '/tidb/dev/connectors-and-apis/',
-    '/appdev/dev/',
-    '/tidb/dev/dev-guide-outdated-for-laravel',
-  ]
+aliases: ['/tidb/dev/connectors-and-apis/','/appdev/dev/','/tidb/dev/dev-guide-outdated-for-laravel']
 ---
 
 # Developer Guide Overview