diff options
| author | Amin Bandali <amin@gnu.org> | 2018-09-02 20:00:57 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-09-02 20:00:57 -0400 |
| commit | f54dea25242ffde22ad737b8b6fbe4e4cd72d417 (patch) | |
| tree | d74f2a142f0b00c76c42ca906a639b9212ab1ec0 /lib/proof-site | |
| parent | 0fbb9f4e96583667f5905f4314a75ab99559fb80 (diff) | |
| download | configs-f54dea25242ffde22ad737b8b6fbe4e4cd72d417.tar.gz configs-f54dea25242ffde22ad737b8b6fbe4e4cd72d417.tar.xz configs-f54dea25242ffde22ad737b8b6fbe4e4cd72d417.zip | |
[emacs] update 5 drones
lib/dante master 1.4-70-ge35bac2
lib/lcr master 1.1
lib/magit master 2.13.0-204-g852c7593
lib/org master release_9.1.14-908-gf1269e4c1
lib/proof-site master v4.4-203-g65d69a7a
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 6aeacf5863e6f22b86d9fb8e57380ca29fbfdda +Subproject 65d69a7a6a4a5aa5518fd55671d58b0b4a350fe |