From: Bruno Turcksin Date: Wed, 25 Jan 2017 22:41:05 +0000 (-0500) Subject: Merge pull request #3848 from bangerth/doc-update-1 X-Git-Tag: v8.5.0-rc1~202 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f26d1403b8dab2abe0e55eb3d565c22e97cb20e0;p=dealii.git Merge pull request #3848 from bangerth/doc-update-1 Update the discussion of generalized support points. --- f26d1403b8dab2abe0e55eb3d565c22e97cb20e0