From 1d97c9c76e36032ca01a3ebdc1ab656856077bae Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Fri, 30 Jun 2023 20:05:18 -0700
Subject: kill servers started by old extension versions

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 17636539..48f60e7f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -138,4 +138,5 @@ cached_embeddings.pkl
 codeql
 
 **/.continue
-.DS_Store
\ No newline at end of file
+.DS_Store
+.continue
-- 
cgit v1.2.3-70-g09d2