From: Bruno Turcksin Date: Mon, 21 Dec 2020 16:32:18 +0000 (-0500) Subject: Merge pull request #11404 from peterrum/GenericDoFsPerObject_formating X-Git-Tag: v9.3.0-rc1~733 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a6c0339fcbd7381e6f486444413f8922bfb0dc8;p=dealii.git Merge pull request #11404 from peterrum/GenericDoFsPerObject_formating GenericDoFsPerObject: fix formatting --- 6a6c0339fcbd7381e6f486444413f8922bfb0dc8