From: Matthias Maier Date: Fri, 17 Jan 2025 17:12:47 +0000 (+0000) Subject: Merge pull request #17992 from bangerth/cycles X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2c27b0cd1623a03b056f67fcd9815afe807e8d1f;p=dealii.git Merge pull request #17992 from bangerth/cycles Add a script that detects cycles in our include files. --- 2c27b0cd1623a03b056f67fcd9815afe807e8d1f