diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-22 10:41:51 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-22 10:41:51 -0500 |
| commit | fda74f52b706447243a113efa4c768c80ead09de (patch) | |
| tree | ee77fff01c60c193c63fad53822baa3997948768 /lib | |
| parent | 647af2f6c1adeaeacb4d86cc3376b985ea404f61 (diff) | |
| download | configs-fda74f52b706447243a113efa4c768c80ead09de.tar.gz configs-fda74f52b706447243a113efa4c768c80ead09de.tar.xz configs-fda74f52b706447243a113efa4c768c80ead09de.zip | |
[emacs] Update 3 drones
Update helm to v3.0-75-gcfa340c5
Update org to release_9.1.14-1105-g495c7c6a5
Update proof-site to v4.4-225-gf7cc8f1f
Diffstat (limited to 'lib')
| m--------- | lib/helm | 0 | ||||
| m--------- | lib/org | 0 | ||||
| m--------- | lib/proof-site | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/lib/helm b/lib/helm -Subproject d27efee1002e6afc31b0fea9e4c14fe6330d843 +Subproject cfa340c545316c6913b1f9fa9ef24a0b4fb2473 diff --git a/lib/org b/lib/org -Subproject 908b55124cb1abdcb3b7b6e3276e0ac22c86d25 +Subproject 495c7c6a5774a4d3035c582a3b4c95eb04e83dd diff --git a/lib/proof-site b/lib/proof-site -Subproject ebb55c998867fd13f8767a52a9542447347f7dc +Subproject f7cc8f1f76baf5e517e51f1db47510ed605064e |