Remove trailing whitespace

2025-08-08 06:59:39 +08:00 · 2021-08-25 16:17:56 +00:00
parent 7384cec3f6
commit 98c7934c46
4 changed files with 5 additions and 7 deletions
--- a/.github_deploy
+++ b/.github_deploy
@@ -26,4 +26,3 @@ do
  done
  gh release upload "$tag" "${files[@]}" --clobber || exit 1
 done
-
--- a/1
+++ b/1
@@ -75,4 +75,3 @@ find . -name '.git' -prune -o -type f -name '*.hs' -print |
  do
    modify "$file" detestify
  done
-