projects / ~bandali / configs / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2c0e34c)
[emacs] update proof general
authorAmin Bandali <bandali@gnu.org>
Sun, 13 Jan 2019 03:25:10 +0000 (22:25 -0500)
committerAmin Bandali <bandali@gnu.org>
Sun, 13 Jan 2019 03:25:10 +0000 (22:25 -0500)
straight/versions/default.el patch | blob | blame | history

diff --git a/straight/versions/default.el b/straight/versions/default.el
index 3be8d31..4c09382 100644 (file)
--- 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")
  ("all-the-icons.el" . "52d1f2d36468146c93aaf11399f581401a233306")
  ("alloy-mode" . "0d05bdd10c77ec04c3d61eccf67e68c08284951f")
  ("auto-compile" . "e6bbb1371324c8884af3b201e9adbc9296eb2ff4")
My configuration for GNU Emacs and other programs