From 4818c068c533651b2b9d39734fbd40b32fa5be54 Mon Sep 17 00:00:00 2001 From: Max Howell Date: Thu, 28 Sep 2023 06:34:53 -0400 Subject: [PATCH] Try to fix #754 --- docs/run/anywhere/editors.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/run/anywhere/editors.md b/docs/run/anywhere/editors.md index db85dbd2..17a083ff 100644 --- a/docs/run/anywhere/editors.md +++ b/docs/run/anywhere/editors.md @@ -1,6 +1,6 @@ # `tea` & Editors -For editors like Visual Studio Code, [`dev`](/dev.md) is enough to have it see +For editors like Visual Studio Code, [`dev`](dev.md) is enough to have it see the tools a project may need. {% hint style="danger" %}