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 | |
| parent | b407bca53231c000bf5a71812d517924d4f05940 (diff) | |
feat(proof-upgrade-elpa-packages): autoload
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index c5f4960d..07bbaf04 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -106,7 +106,7 @@ Return nil if not a script buffer or if no active scripting buffer." ;; Facility to upgrade all ELPA packages (including ProofGeneral) ;; - +;;;###autoload (defun proof-upgrade-elpa-packages () "Upgrade all ELPA packages (using package.el)." (interactive) |