From: Bruno Turcksin Date: Wed, 27 Jul 2016 17:32:30 +0000 (-0400) Subject: Merge pull request #2878 from bangerth/doc-update-71 X-Git-Tag: v8.5.0-rc1~835 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4bdbf1be9e6d27094722b31c44428c8a1b9dbcd9;p=dealii.git Merge pull request #2878 from bangerth/doc-update-71 Clarify that update_once/each is not part of a public interface. --- 4bdbf1be9e6d27094722b31c44428c8a1b9dbcd9