From: Wolfgang Bangerth Date: Thu, 8 Mar 2018 16:50:13 +0000 (-0700) Subject: Merge pull request #6011 from tamiko/add-gitignore X-Git-Tag: v9.0.0-rc1~356 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=55a482e3281868126a189c5145708fe7bb292126;p=dealii.git Merge pull request #6011 from tamiko/add-gitignore Add a .gitignore file --- 55a482e3281868126a189c5145708fe7bb292126