From 7ff7b65de0ac755f10ac00713565d35f64126955 Mon Sep 17 00:00:00 2001 From: Jeff Moe Date: Thu, 23 Nov 2023 12:41:03 -0700 Subject: [PATCH] continue_server dist noted --- BUILD.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/BUILD.md b/BUILD.md index 77e1ca9..0f1ae45 100644 --- a/BUILD.md +++ b/BUILD.md @@ -44,12 +44,16 @@ make setup make server ``` -Extension build: - +## Extension build ``` src/extensions/vscode/build/continue-patch.vsix ``` +## continue_server build +``` +src/dist/continue_server +``` + # Versions To update versions: