]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1868 from jppelteret/fix_precondition_selector
authorDenis Davydov <davydden@gmail.com>
Fri, 13 Nov 2015 14:11:55 +0000 (15:11 +0100)
committerDenis Davydov <davydden@gmail.com>
Fri, 13 Nov 2015 14:11:55 +0000 (15:11 +0100)
commit67d4302719f4bc328d27d2015c21d4ea45d039a1
tree83e87fa89481fac96bf25cc3fa5702025f588709
parent14725894beea7de877ca97ee959171feddfdcef2
parentc663223558ef1de22123434c3ae8c46ad31990c4
Merge pull request #1868 from jppelteret/fix_precondition_selector

Remove errant line left over from a merge conflict.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.