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