diff --git a/.gitignore b/.gitignore index 30756b640..fad426bf0 100644 --- a/.gitignore +++ b/.gitignore @@ -68,4 +68,4 @@ manifest.json **/result-* .develop.cmd /.vscode -.ghc/ghci_history +backend/.ghc/ghci_history