From: Matthias Maier Date: Sat, 29 Aug 2015 22:46:42 +0000 (-0500) Subject: Merge pull request #1464 from drwells/update-flags-deprecation X-Git-Tag: v8.4.0-rc2~527 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53643638f2fde461955f29474cae13a43165e864;p=dealii.git Merge pull request #1464 from drwells/update-flags-deprecation Update UpdateFlags documentation --- 53643638f2fde461955f29474cae13a43165e864