summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-11-15 15:26:23 -0500
committerAmin Bandali <bandali@gnu.org>2018-11-15 15:26:23 -0500
commitec4d519dcc63257433acf4e926f788e6f11caf84 (patch)
tree913df3b249cf7795f77c27bdb637729addee741e /lib/proof-site
parentc2f969a565d859fc7bcf7df87dbc6928ecc65bb5 (diff)
downloadconfigs-ec4d519dcc63257433acf4e926f788e6f11caf84.tar.gz
configs-ec4d519dcc63257433acf4e926f788e6f11caf84.tar.xz
configs-ec4d519dcc63257433acf4e926f788e6f11caf84.zip
[emacs] update 4 drones
Update lib/helm to v3.0-41-g681eafbe Update lib/magit to v2.90.0-15-g8b32aa03 Update lib/proof-site to v4.4-211-g05df29f7 Update lib/which-key to v3.3.0-4-g43e3e3d
Diffstat (limited to '')
m---------lib/proof-site0
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site
-Subproject 15cf5a3f1e3ba35d832e1464a1b729905aed78a
+Subproject 05df29f7ff065d8da45b81691c602b6cf075e4a