From: Jean-Paul Pelteret Date: Thu, 7 Sep 2017 08:07:22 +0000 (+0200) Subject: Merge pull request #5036 from LucasCampos/correct_div X-Git-Tag: v9.0.0-rc1~1112 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e66c660051cfe9a77d48179a1ffb2aabaeb51a64;p=dealii.git Merge pull request #5036 from LucasCampos/correct_div Add missing div on note on step-44 --- e66c660051cfe9a77d48179a1ffb2aabaeb51a64