diff --git a/.gitignore b/.gitignore index 40d3d3d5a..3225e6ac9 100644 --- a/.gitignore +++ b/.gitignore @@ -54,3 +54,6 @@ stamp-h1 _*_ spot-*/* config.cache +*.json +*.fdb_latexmk +*.xz diff --git a/bench/spin13/.gitignore b/bench/spin13/.gitignore new file mode 100644 index 000000000..5ff44fbc0 --- /dev/null +++ b/bench/spin13/.gitignore @@ -0,0 +1,8 @@ +*.log +*.html +*.json +*.csv +*.tex +*.pdf +*.mk +auto/