remove executable rights from .el files

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