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 | |
| 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 '')
| m--------- | lib/dante | 0 | ||||
| m--------- | lib/ghub | 0 | ||||
| m--------- | lib/helm | 0 | ||||
| m--------- | lib/proof-site | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/lib/dante b/lib/dante -Subproject f16562abe570f5ca0e7abbf8c7058c81976a921 +Subproject 8d5e00d268aa37d91baaa675cead953e58f19c6 diff --git a/lib/ghub b/lib/ghub -Subproject 53e2e29308a70968be4eda0ff640dc7b538205a +Subproject 08032f866423d9a2f5c90794fe7f147b24adb8c diff --git a/lib/helm b/lib/helm -Subproject c48469862cdabe5df308487da279a069c80cd8e +Subproject 03f293db6f3ecfc90a56a48c1ec4fc8f0d9d31d diff --git a/lib/proof-site b/lib/proof-site -Subproject 883ce2ff1092003b6341cfebd1d7b2ab31239a4 +Subproject ebb55c998867fd13f8767a52a9542447347f7dc |