From: bangerth Date: Wed, 30 Apr 2008 19:12:04 +0000 (+0000) Subject: Properly set svn:ignore. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=90ed007cf0982f8abf0491a911fbeba7af8f8780;p=dealii-svn.git Properly set svn:ignore. git-svn-id: https://svn.dealii.org/trunk@16021 0785d39b-7218-0410-832d-ea1e28bc413d ---