From ebae4fea5936b960691eabe85909b7219c3e6845 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Mon, 17 Feb 2020 10:32:33 +0100 Subject: [PATCH] update gitignore --- .gitignore | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/.gitignore b/.gitignore index 740d23c..291856c 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,20 @@ benchmark/results.csv .gradle/ .idea/ dockered/ + +# readme pdflatex files +README.aux +README.bbl +README.blg +README.fdb_latexmk +README.fls +README.log +README.out +README.synctex.gz + +# directories that must be provided by user +docker-results/ +qualitas/ + +# docker image +reusable-analysis.tar -- GitLab