Index: tools/vscode/uwaterloo.cforall-0.1.0/.gitignore
===================================================================
--- tools/vscode/uwaterloo.cforall-0.1.0/.gitignore	(revision 628a7c564d1b900c3dd67553ce9ab54500a54e7c)
+++ tools/vscode/uwaterloo.cforall-0.1.0/.gitignore	(revision 11ad42ff7d5390314633769f10ba100d0b136eb5)
@@ -1,3 +1,2 @@
 node_modules/
-package-lock.json
-
+cfa-ls