From: Matthias Maier Date: Thu, 4 Oct 2018 15:51:30 +0000 (-0500) Subject: Merge pull request #7258 from bangerth/copyright X-Git-Tag: v9.1.0-rc1~664 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3152261b3b7d3b550e90e12bf85e4243d658d35c;p=dealii.git Merge pull request #7258 from bangerth/copyright Propagate the last year of changes into the documentation, round II --- 3152261b3b7d3b550e90e12bf85e4243d658d35c