From: Denis Davydov Date: Wed, 1 Nov 2017 23:26:57 +0000 (+0100) Subject: Merge pull request #5363 from bangerth/more-complex X-Git-Tag: v9.0.0-rc1~837 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=56f0dca50bbf898d49ef5cd9b8cc6b02b11cc662;p=dealii.git Merge pull request #5363 from bangerth/more-complex More small changes to prepare allowing complex-valued vectors. --- 56f0dca50bbf898d49ef5cd9b8cc6b02b11cc662