Need to rename a file (now that we use GitHub Actions job matrices)

JuliaLang · Oct 14, 2023 · 7d9c5aa · 7d9c5aa
1 parent 973648d
commit 7d9c5aa
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.codespell.asm.ignore → .codespell.S.ignore b/.codespell.asm.ignore → .codespell.S.ignore