diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-12 22:25:10 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-12 22:25:10 -0500 |
| commit | d5e8f47bb491cc5a06b14121c5bc43922deac078 (patch) | |
| tree | 70427f8ecad6c800f65a151322e6a6a3c958858a /straight | |
| parent | 2c0e34c3c6e8cee67ca82e361aa224675794ee13 (diff) | |
| download | configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.tar.gz configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.tar.xz configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.zip | |
[emacs] update proof general
Diffstat (limited to '')
| -rw-r--r-- | straight/versions/default.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/straight/versions/default.el b/straight/versions/default.el index 3be8d31..4c09382 100644 --- a/straight/versions/default.el +++ b/straight/versions/default.el @@ -1,4 +1,4 @@ -(("PG" . "fb3b75dab55b6e6befffc53e136422558be5faa0") +(("PG" . "58cea1b8ffb02bc546ddb56a669d4094390d4809") ("all-the-icons.el" . "52d1f2d36468146c93aaf11399f581401a233306") ("alloy-mode" . "0d05bdd10c77ec04c3d61eccf67e68c08284951f") ("auto-compile" . "e6bbb1371324c8884af3b201e9adbc9296eb2ff4") |