From cc0e65f2bf80649532ea83259765ed749099e48a Mon Sep 17 00:00:00 2001 From: Andreas Abel Date: Sun, 24 Mar 2024 16:30:12 +0100 Subject: [PATCH] Put CHANGELOG.md under the whitespace regime --- fix-whitespace.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/fix-whitespace.yaml b/fix-whitespace.yaml index a12022572e..3a7e8b1e83 100644 --- a/fix-whitespace.yaml +++ b/fix-whitespace.yaml @@ -8,4 +8,3 @@ included-files: excluded-files: - "README/Text/Tabular.agda" - - CHANGELOG.md