summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-12-13 10:45:44 -0500
committerAmin Bandali <bandali@gnu.org>2018-12-13 10:45:44 -0500
commit7b18368d4277a9f29f0bbe7366ff043f5a325d97 (patch)
treed074fc1fd4b4ac5a17302b29f7ac2dad18f3b259 /lib/proof-site
parentb9d46ec704f654b7a95762810b54c95a6a194789 (diff)
downloadconfigs-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-site0
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site
-Subproject a921439a4eb5b0d96182748e779c78e2f6a41a5
+Subproject 632a3d7f9ded16faaf58e1c0769bcd4f7c8193e