From: Matthias Maier <tamiko@43-1.org>
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