diff options
author | 2019-01-14 01:16:16 +0100 | |
---|---|---|
committer | 2019-01-14 01:16:16 +0100 | |
commit | 737152152f8ebfb752fac0fbcdddc96ad7b18b8a (patch) | |
tree | b660032738568178c0d1edebaca09945403f168f /proof-general-pkg.el | |
parent | a7d51cef7ca10d651e21e89e9e8a84fcec823888 (diff) |
Hopefully fix ProofGeneral/PG#413
Revert proof-general.el to 05df29f7ff065d8da45b81691c602b6cf075e4a0/pg-init.el
(modulo comments).
Diffstat (limited to 'proof-general-pkg.el')
0 files changed, 0 insertions, 0 deletions