From: Martin Kronbichler Date: Sun, 25 Oct 2015 18:59:33 +0000 (+0100) Subject: Merge pull request #1781 from bangerth/rename_fast_to_skip_initialization X-Git-Tag: v8.4.0-rc2~286 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4f5642a4e3e6ac7996b2aa810bea045fe54e133f;p=dealii.git Merge pull request #1781 from bangerth/rename_fast_to_skip_initialization Rename the 'fast' parameter to 'skip_initialization'. --- 4f5642a4e3e6ac7996b2aa810bea045fe54e133f