just use one .gitignore for simplicity

2019-05-07 12:35:55 +02:00 · 2019-05-07 12:35:55 +02:00 · e0e8c3d5f0
commit e0e8c3d5f0
parent e8ff342904
2 changed files with 1 additions and 1 deletions
--- 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
--- a/etc/.gitignore
+++ b/etc/.gitignore
@ -1 +0,0 @@
-tune