From: Marc Fehling Date: Tue, 19 Jul 2022 16:42:58 +0000 (+0200) Subject: Merge pull request #104 from bangerth/version X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a886e2a348e2a227db43d28455298dd6fb22aa61;p=code-gallery.git Merge pull request #104 from bangerth/version Do not specify a deal.II version number in the top-level README. --- a886e2a348e2a227db43d28455298dd6fb22aa61