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