From f2dd7feb819fe4a8a4181dd1d04488e31f4b63a1 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 28 Oct 2023 22:15:31 +0200 Subject: Removed config.mk --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 1d96c4c..4edf1b9 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +config.mk benchmark/results.txt benchmark/run test/*/runtest -- cgit v1.3