diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-12 15:26:13 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-12 15:26:13 -0500 |
| commit | e87abe21e1508a23d17c14b02ca9b0244b329106 (patch) | |
| tree | 16ef0a81f94bb1a6f3c2ded79060cf603b48d6be /lib/proof-site | |
| parent | 3b53f8b8f55fb60366efd8b818b5678daccf5435 (diff) | |
| download | configs-e87abe21e1508a23d17c14b02ca9b0244b329106.tar.gz configs-e87abe21e1508a23d17c14b02ca9b0244b329106.tar.xz configs-e87abe21e1508a23d17c14b02ca9b0244b329106.zip | |
[emacs] update 3 drones
Update lib/doom-modeline to v1.1.0-3-g14ac6dd
Update lib/ivy to 0.10.0-526-g7e0fd2e
Update lib/proof-site to v4.4-212-ga921439a
Diffstat (limited to 'lib/proof-site')
| m--------- | lib/proof-site | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site -Subproject 05df29f7ff065d8da45b81691c602b6cf075e4a +Subproject a921439a4eb5b0d96182748e779c78e2f6a41a5 |