diff options
| author | Erik Martin-Dorel | 2021-02-26 09:21:19 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-26 09:21:19 +0100 |
| commit | cb7a312709c6afe38adf7f8053ca70acb41cb98c (patch) | |
| tree | 231b69931191e1ee29c186c35ac4c45405146953 /pgshell/example.pgsh | |
| parent | 65da2c3a15df0a5b6f1fb81aa7a0dce8bcdaab1d (diff) | |
| parent | c45ce5af8b0cdbca6931ab9b7c0a78d59e12fcde (diff) | |
Merge pull request #554 from ProofGeneral/proof-upgrade-menu
feat: Add proof-upgrade-menu triggering proof-upgrade-elpa-packages
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions