From 3c6a5808088f41cdfe4bc00d5fe68ec95a759823 Mon Sep 17 00:00:00 2001 From: Steffen Jost Date: Fri, 28 Mar 2025 08:52:58 +0100 Subject: [PATCH] chore(git): add ghci history to gitignore --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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