From: Matthias Maier Date: Fri, 7 Jul 2023 06:23:05 +0000 (+0000) Subject: Merge pull request #15668 from bangerth/vsv-comm-pattern X-Git-Tag: relicensing~731 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=61a8f375f62f7ada3edd1f269e3dce1bd5973ccf;p=dealii.git Merge pull request #15668 from bangerth/vsv-comm-pattern Remove reference to VectorSpacevector from the documentation. --- 61a8f375f62f7ada3edd1f269e3dce1bd5973ccf