From: Wolfgang Bangerth Date: Wed, 15 Mar 2006 03:06:02 +0000 (+0000) Subject: Do a better job cleaning up. X-Git-Tag: v8.0.0~12106 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=04906de4975b4f6f0f110010b76da5a89a7c794e;p=dealii.git Do a better job cleaning up. git-svn-id: https://svn.dealii.org/trunk@12589 0785d39b-7218-0410-832d-ea1e28bc413d ---