dev/ide: Removal

ustclug · Aug 10, 2024 · a8effe1 · a8effe1
1 parent a49ddb3
commit a8effe1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -107,7 +107,6 @@ nav:
     - 编程语言概览: dev/language.md
     - 版本管理与合作: dev/git.md
     - SSH 使用技巧: dev/ssh.md
-    - IDE 与远程开发: dev/ide.md
   - 高级内容:
     - advanced/index.md
     - CUDA 环境简介: advanced/cuda.md