diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-20 09:20:40 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-20 09:20:40 -0500 |
| commit | a416ea9384a7da344b030bf4389808297b782e36 (patch) | |
| tree | 60e87ba2c26e1c4dd48333091f4e941feacd089c /lib/ghub | |
| parent | 5a96c38883409f1e2844e78ba8f9f3942244eceb (diff) | |
| download | configs-a416ea9384a7da344b030bf4389808297b782e36.tar.gz configs-a416ea9384a7da344b030bf4389808297b782e36.tar.xz configs-a416ea9384a7da344b030bf4389808297b782e36.zip | |
[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
Diffstat (limited to 'lib/ghub')
| m--------- | lib/ghub | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/ghub b/lib/ghub -Subproject 53e2e29308a70968be4eda0ff640dc7b538205a +Subproject 08032f866423d9a2f5c90794fe7f147b24adb8c |