diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-15 15:26:23 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-15 15:26:23 -0500 |
| commit | ec4d519dcc63257433acf4e926f788e6f11caf84 (patch) | |
| tree | 913df3b249cf7795f77c27bdb637729addee741e /lib/proof-site | |
| parent | c2f969a565d859fc7bcf7df87dbc6928ecc65bb5 (diff) | |
| download | configs-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-site | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site -Subproject 15cf5a3f1e3ba35d832e1464a1b729905aed78a +Subproject 05df29f7ff065d8da45b81691c602b6cf075e4a |