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