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 585d910f75a1b63269094aae30bec9b85b3790c4)
@@ -1,3 +1,2 @@
 node_modules/
-package-lock.json
-
+cfa-ls