From: Matthias Maier Date: Wed, 23 Apr 2025 04:23:39 +0000 (+0000) Subject: Merge pull request #18371 from bangerth/indent-python X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7d994bf2ec36a24af0326b8c2050041544a26420;p=dealii.git Merge pull request #18371 from bangerth/indent-python Apply auto-indenter to all python scripts. --- 7d994bf2ec36a24af0326b8c2050041544a26420