[emacs] update 4 drones
authorAmin Bandali <bandali@gnu.org>
Thu, 20 Dec 2018 14:20:40 +0000 (09:20 -0500)
committerAmin Bandali <bandali@gnu.org>
Thu, 20 Dec 2018 14:20:40 +0000 (09:20 -0500)
commita416ea9384a7da344b030bf4389808297b782e36
tree60e87ba2c26e1c4dd48333091f4e941feacd089c
parent5a96c38883409f1e2844e78ba8f9f3942244eceb
[emacs] update 4 drones

Update dante      to  1.4-80-g8d5e00d
Update ghub       to v3.1.0
Update helm       to v3.0-71-g03f293db
Update proof-site to v4.4-224-gebb55c99
lib/dante
lib/ghub
lib/helm
lib/proof-site