From: Denis Davydov Date: Fri, 13 Nov 2015 14:11:55 +0000 (+0100) Subject: Merge pull request #1868 from jppelteret/fix_precondition_selector X-Git-Tag: v8.4.0-rc2~229 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67d4302719f4bc328d27d2015c21d4ea45d039a1;p=dealii.git Merge pull request #1868 from jppelteret/fix_precondition_selector Remove errant line left over from a merge conflict. --- 67d4302719f4bc328d27d2015c21d4ea45d039a1