From: Martin Kronbichler Date: Fri, 14 Sep 2018 06:29:22 +0000 (+0200) Subject: Merge pull request #7181 from tjhei/document_distributed_namespace X-Git-Tag: v9.1.0-rc1~723 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d504cf18bd9434ac826d86088a08b1c4a436ee1d;p=dealii.git Merge pull request #7181 from tjhei/document_distributed_namespace document LA and distributed namespaces --- d504cf18bd9434ac826d86088a08b1c4a436ee1d