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

Fixes #704.
ProofGeneral · 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