From: Guido Kanschat Date: Fri, 3 Apr 2015 20:08:55 +0000 (+0200) Subject: Merge pull request #733 from bangerth/doc-update-13 X-Git-Tag: v8.3.0-rc1~322 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=50742a8a73154e8898c6bb517940c68db3ae217e;p=dealii.git Merge pull request #733 from bangerth/doc-update-13 Minor edits to a bilinear form. --- 50742a8a73154e8898c6bb517940c68db3ae217e