From: Wolfgang Bangerth Date: Mon, 24 Jul 2006 15:21:17 +0000 (+0000) Subject: Remove now unneeded directory X-Git-Tag: v8.0.0~11536 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c550c5ed727f9aa98a8d07d6b0f9a8a8b6aab71b;p=dealii.git Remove now unneeded directory git-svn-id: https://svn.dealii.org/trunk@13427 0785d39b-7218-0410-832d-ea1e28bc413d ---