From: bangerth Date: Sun, 13 Jan 2013 19:15:07 +0000 (+0000) Subject: Merge from mainline. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=090ea7ae10a80632ad7375ed740aa484985d5c32;p=dealii-svn.git Merge from mainline. git-svn-id: https://svn.dealii.org/branches/branch_merge_mg_into_dof_handler@28037 0785d39b-7218-0410-832d-ea1e28bc413d --- 090ea7ae10a80632ad7375ed740aa484985d5c32