diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-30 20:05:18 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-30 20:05:18 -0700 |
| commit | 0d7223825009571f90465af2aa07b99910b86cb0 (patch) | |
| tree | 47da765b3c58f996c3a790eb74f9e750161cea95 /.gitignore | |
| parent | 81a5ed86119b81a07daf31144e8f09fe6b66246d (diff) | |
| download | sncontinue-0d7223825009571f90465af2aa07b99910b86cb0.tar.gz sncontinue-0d7223825009571f90465af2aa07b99910b86cb0.tar.bz2 sncontinue-0d7223825009571f90465af2aa07b99910b86cb0.zip | |
kill servers started by old extension versions
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -138,4 +138,5 @@ cached_embeddings.pkl codeql **/.continue -.DS_Store
\ No newline at end of file +.DS_Store +.continue |