diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-21 00:04:18 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-21 00:04:18 -0500 |
| commit | 542f29a37798cbe3afae9e78e6d54372d003ff6e (patch) | |
| tree | 502c4ade05b047e3d46a117da4b5378c517b6d03 /lib/proof-site | |
| parent | 1b611d10efc6a17a61fda01e3ccad92fe93d49fc (diff) | |
| download | configs-542f29a37798cbe3afae9e78e6d54372d003ff6e.tar.gz configs-542f29a37798cbe3afae9e78e6d54372d003ff6e.tar.xz configs-542f29a37798cbe3afae9e78e6d54372d003ff6e.zip | |
[emacs] update 7 drones
Update lib/flycheck to 31-183-g894d96f7
Update lib/helm to v3.0-47-gfa119eb9
Update lib/ivy to 0.10.0-454-g1801927
Update lib/nix-mode to v1.2.2-67-g90ac0a7
Update lib/org to release_9.1.14-1038-g4aa6a37d2
Update lib/use-package to 2.3-420-g39a8b88
Update lib/winum to 2.1.0
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions