fix: remove executable rights from .el files (ProofGeneral#726)

Fixes ProofGeneral#704.
hendriktews · Jan 16, 2024 · 7873db1 · 7873db1
1 parent 19ca6e0
commit 7873db1
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/generic/pg-goals.el b/generic/pg-goals.el