Commit e0e8c3d5f0000d17db4c2afa3b3dddd98cbdbc0e
2019-05-07T12:35:55
just use one .gitignore for simplicity
diff --git a/.gitignore b/.gitignore
index 2c1afc5..2063bae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,6 +57,7 @@ mpi.c
# ignore file generated by make tune
tuning_list
+etc/tune
# ignore stuff generated by "make manual" and "make poster"
*.aux
diff --git a/etc/.gitignore b/etc/.gitignore
deleted file mode 100644
index ff02786..0000000
--- a/etc/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-tune