From: Marc Fehling Date: Wed, 26 Apr 2023 20:14:46 +0000 (-0600) Subject: Merge pull request #15142 from bangerth/57 X-Git-Tag: v9.5.0-rc1~287 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8bfb9e576afe8ab7228d2686c0acd8b9dafb133b;p=dealii.git Merge pull request #15142 from bangerth/57 Convert step-57 references to bibtex, with proper cross-referencing. --- 8bfb9e576afe8ab7228d2686c0acd8b9dafb133b