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