Update micro benchmarks

[software/dgc/dgcbench.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 859f8bd0e532ed54ea95df442c15f0ac5e9452bf..567609b1234a9b8806c5a05da6c866e480aa148d 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-naive
+build/