From: Matthias Maier Date: Wed, 16 May 2018 19:56:00 +0000 (-0500) Subject: add an entry to .gitignore X-Git-Tag: v9.1.0-rc1~1138^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b91ec2158584046450d37cbfe456bbea0900178d;p=dealii.git add an entry to .gitignore --- diff --git a/.gitignore b/.gitignore index eb3f61dcad..ae2d0280db 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,7 @@ # misc /compile_commands.json /.clang_complete +/contrib/utilities/programs # emacs temporary and backup files *~