From 4fdeecb1584fec12480fb7bc5f592b9dd5a9c934 Mon Sep 17 00:00:00 2001 From: Hans-Peter Deifel <hpd@hpdeifel.de> Date: Tue, 21 Aug 2018 11:11:01 +0200 Subject: [PATCH] Add benchmark output dir to .gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 43934b5..d58b115 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ valmari_fig4/benchmark.pdf valmari_fig4/benchmark.tex valmari_fig4/benchmark.tmp valmari_fig4/benchmarks.png +prism/bench/ -- GitLab