diff options
author | Amin Bandali <bandali@gnu.org> | 2018-12-13 10:45:44 -0500 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2018-12-13 10:45:44 -0500 |
commit | 7b18368d4277a9f29f0bbe7366ff043f5a325d97 (patch) | |
tree | d074fc1fd4b4ac5a17302b29f7ac2dad18f3b259 /lib/proof-site | |
parent | b9d46ec704f654b7a95762810b54c95a6a194789 (diff) | |
download | configs-7b18368d4277a9f29f0bbe7366ff043f5a325d97.tar.gz configs-7b18368d4277a9f29f0bbe7366ff043f5a325d97.tar.xz configs-7b18368d4277a9f29f0bbe7366ff043f5a325d97.zip |
[emacs] update 5 drones
Update lib/company to 0.9.9
Update lib/evil-nerd-commenter to 3.3.1
Update lib/flycheck to 31-189-gb1b6c5c7
Update lib/nix-mode to v1.3.0-4-g1512d02
Update lib/proof-site to v4.4-213-g632a3d7f
Diffstat (limited to 'lib/proof-site')
m--------- | lib/proof-site | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site -Subproject a921439a4eb5b0d96182748e779c78e2f6a41a5 +Subproject 632a3d7f9ded16faaf58e1c0769bcd4f7c8193e |