Add missing tactic subpackage

jneira · web-flow · commit ffc3060e0b18 · 2020-10-23T08:43:02.000+02:00
diff --git a/stack.yaml b/stack.yaml
@@ -4,6 +4,7 @@ packages:
 - .
 - ./ghcide/
 - ./hls-plugin-api
+- ./plugins/tactics
 
 ghc-options:
   "$everything": -haddock
