diff options
| author | Erik Martin-Dorel | 2021-02-25 20:30:54 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2021-02-25 20:30:54 +0100 |
| commit | b7f6e8b04ad8277ab9e85de902ddb3ece0305ae3 (patch) | |
| tree | 65df82a548480b51b0fab996b8cb0e017cb85a75 /generic/proof-shell.el | |
| parent | b407bca53231c000bf5a71812d517924d4f05940 (diff) | |
feat(proof-upgrade-elpa-packages): autoload
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions