From 5bd793e07e587d104476a736ce75742e9a2b509d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cle=CC=81ment=20Grennerat?= Date: Mon, 2 Mar 2026 08:42:43 +0100 Subject: [PATCH] Add .gitignore --- .gitignore | 1 + compiler/config.mk | 3 --- 2 files changed, 1 insertion(+), 3 deletions(-) create mode 100644 .gitignore delete mode 100644 compiler/config.mk diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..02d5c37 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +compiler/config.mk diff --git a/compiler/config.mk b/compiler/config.mk deleted file mode 100644 index 5dbf44b..0000000 --- a/compiler/config.mk +++ /dev/null @@ -1,3 +0,0 @@ -ANTLRJAR=/home/$(USER)/antlr4-install/antlr-4.13.2-complete.jar -ANTLRINC=/usr/local/include/antlr4-runtime/ -ANTLRLIB=/usr/local/lib/libantlr4-runtime.a