From: Timo Heister Date: Thu, 18 Sep 2014 19:25:08 +0000 (-0400) Subject: Merge pull request #156 from bangerth/clarify-docs X-Git-Tag: v8.2.0-rc1~140 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9e5c6cc28cc9389321dac20ec1d7c68618bfbcd3;p=dealii.git Merge pull request #156 from bangerth/clarify-docs Clarify documentation and verify what I say by adding tests. This documents has_active_dofs() in parallel. --- 9e5c6cc28cc9389321dac20ec1d7c68618bfbcd3