From: David Wells Date: Sat, 19 Sep 2020 22:16:22 +0000 (-0400) Subject: Merge pull request #10898 from bangerth/cc X-Git-Tag: v9.3.0-rc1~1099 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=06d359936b04a742275d869608137739f3da962f;p=dealii.git Merge pull request #10898 from bangerth/cc Mention Code Complete as a resource. --- 06d359936b04a742275d869608137739f3da962f