From: David Wells Date: Mon, 26 Sep 2016 20:54:09 +0000 (-0400) Subject: Merge pull request #3157 from bangerth/doc-update-46 X-Git-Tag: v8.5.0-rc1~637 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9df86e6b6f4c15ad4a9878ccc28239a3804aea9a;p=dealii.git Merge pull request #3157 from bangerth/doc-update-46 Update some comments for Triangulation::compute_number_cache(). --- 9df86e6b6f4c15ad4a9878ccc28239a3804aea9a