[nongnu] elpa/proof-general 7873db117e: fix: remove executable rights from .el files (#726)

[ELPA Syncer]

branch: elpa/proof-general
commit 7873db117ef0e6aea9470e92f4eed0475fe71988
Author: hendriktews <hendrik@askra.de>
Commit: GitHub <noreply@github.com>

    fix: remove executable rights from .el files (#726)
    
    Fixes #704.
---
 generic/pg-goals.el | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
old mode 100755
new mode 100644