From: bangerth Date: Tue, 24 Oct 2006 22:36:47 +0000 (+0000) Subject: Properly set svn:ignore X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54272e57153358338bcf657cfcdfa79cf7a1ae0d;p=dealii-svn.git Properly set svn:ignore git-svn-id: https://svn.dealii.org/trunk@14072 0785d39b-7218-0410-832d-ea1e28bc413d ---