From 3f5e0ed0b6e9d0acd90db424c1a8dc87cb72c6fd Mon Sep 17 00:00:00 2001 From: sebastianselander Date: Tue, 30 May 2023 14:40:34 +0200 Subject: [PATCH] fixed gitignore --- .gitignore | 2 +- churf | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 120000 churf diff --git a/.gitignore b/.gitignore index 897dce2..53eb51e 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,7 @@ dist-newstyle Grammar.tex src/Grammar -language +churf llvm.ll /language .vscode/ diff --git a/churf b/churf deleted file mode 120000 index b5800eb..0000000 --- a/churf +++ /dev/null @@ -1 +0,0 @@ -/home/sebastian/.cabal/store/ghc-9.4.4/churf-0.1.0.0-e-churf-6264c247f03a157a1144a9887dd5a43d0d1c799ad268c2cb352a8a1a6c014e8e/bin/churf \ No newline at end of file