From: Jean-Paul Pelteret Date: Fri, 10 Nov 2017 15:46:45 +0000 (+0100) Subject: Merge pull request #5380 from vishalkenchan/rol/vector_adaptor X-Git-Tag: v9.0.0-rc1~792 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41d47a0d241116a4d34ce5a58bf6e5ad8752f7e1;p=dealii.git Merge pull request #5380 from vishalkenchan/rol/vector_adaptor Using Trilinos/ROL library --- 41d47a0d241116a4d34ce5a58bf6e5ad8752f7e1