From: Matthias Maier Date: Thu, 12 Mar 2015 10:24:35 +0000 (+0100) Subject: Merge pull request #644 from bangerth/explain-operator-or X-Git-Tag: v8.3.0-rc1~377 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9524b2254e9832455d72612f79601c6ec921156f;p=dealii.git Merge pull request #644 from bangerth/explain-operator-or Explain the use of operator| for the update_* flags. --- 9524b2254e9832455d72612f79601c6ec921156f