From: David Wells Date: Thu, 22 Sep 2016 15:25:35 +0000 (-0400) Subject: Merge pull request #3149 from drwells/prefer-vector-to-list-1 X-Git-Tag: v8.5.0-rc1~644 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=42993b87d95f04a718e2170bb7bde547125f36ce;p=dealii.git Merge pull request #3149 from drwells/prefer-vector-to-list-1 Prefer std::vector to std::list. --- 42993b87d95f04a718e2170bb7bde547125f36ce