From: Jean-Paul Pelteret Date: Sat, 22 Jul 2017 20:48:07 +0000 (+0200) Subject: Merge pull request #4644 from bangerth/doc-update X-Git-Tag: v9.0.0-rc1~1395 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6dcd437c5f48077b4b0a12081825d49842dfaedd;p=dealii.git Merge pull request #4644 from bangerth/doc-update Better document the extract_subvector_to() functions. --- 6dcd437c5f48077b4b0a12081825d49842dfaedd