diff options
| author | Erik Martin-Dorel | 2021-02-25 17:39:28 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2021-02-25 17:39:28 +0100 |
| commit | b407bca53231c000bf5a71812d517924d4f05940 (patch) | |
| tree | 1911f731f4d10bcfb0cddfed36f67f6162ce0f28 /easycrypt | |
| parent | bdb67820696b2bfec06fda72f2a39548c73dcaf7 (diff) | |
feat: Add proof-upgrade-menu triggering proof-upgrade-elpa-packages
* require package.el (in a safe way thanks to `proof-try-require`)
Diffstat (limited to 'easycrypt')
0 files changed, 0 insertions, 0 deletions