Merge branch 'master' into plugin-tests2

berberman · berberman · commit ecfc3e161617 · 2021-04-04T11:06:07.000+08:00
diff --git a/.gitignore b/.gitignore
@@ -33,3 +33,11 @@ test/testdata/**/hie.yaml
 
 # pre-commit-hook.nix
 .pre-commit-config.yaml
+
+# direnv
+/.direnv/
+/.envrc
+
+# ghcide-bench
+*.identifierPosition
+/bench/example
