From: Martin Kronbichler Date: Mon, 14 Oct 2019 20:17:23 +0000 (+0200) Subject: Merge pull request #8907 from peterrum/tensor_docu_fix X-Git-Tag: v9.2.0-rc1~985 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=134c1a8fe9c56042ffb44420766357742e336cfa;p=dealii.git Merge pull request #8907 from peterrum/tensor_docu_fix Fix docu in Tensor --- 134c1a8fe9c56042ffb44420766357742e336cfa