From: Daniel Arndt Date: Wed, 21 Oct 2020 04:34:33 +0000 (-0400) Subject: Merge pull request #11067 from bangerth/fesys2 X-Git-Tag: v9.3.0-rc1~993 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53084d8c6a5296b727b1d73c5450fe43d4f5d780;p=dealii.git Merge pull request #11067 from bangerth/fesys2 Improve documentation of FESystem slightly. --- 53084d8c6a5296b727b1d73c5450fe43d4f5d780