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/proof-site | |
| 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/proof-site | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site -Subproject 883ce2ff1092003b6341cfebd1d7b2ab31239a4 +Subproject ebb55c998867fd13f8767a52a9542447347f7dc |