From c04a283a7ab97903683f5f7268068aef69f5bddf Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 13 Jun 2024 22:28:49 +0200 Subject: Added benchmark; removed old folder --- .gitignore | 2 -- 1 file changed, 2 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index c676583..7d0c78a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,7 +1,5 @@ -generated config.mk benchmark/results -old/benchmark/results benchmark/run gen debuggen -- cgit v1.3