From: Matthias Maier <tamiko@43-1.org>
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
 *~