diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-30 17:57:14 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-30 17:57:14 -0400 |
| commit | f7fddd5fc4d2c8e3314d1158076d6b5386c46d86 (patch) | |
| tree | cf01612887e9f69faef00d2973571b1bbffe8f00 /lib/proof-site | |
| parent | 72a03130c464f49fe9aa3b50c6ec5d6c9fa4fb1c (diff) | |
| download | configs-f7fddd5fc4d2c8e3314d1158076d6b5386c46d86.tar.gz configs-f7fddd5fc4d2c8e3314d1158076d6b5386c46d86.tar.xz configs-f7fddd5fc4d2c8e3314d1158076d6b5386c46d86.zip | |
[emacs] update 4 drones
lib/doom-modeline master 0.4.0-6-gac03729
lib/magit master 2.13.0-203-g854fb0b0
lib/org master release_9.1.14-905-gee4dbaff6
lib/proof-site master v4.4-202-g6aeacf58
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 69066bf2cb97d6df74a069c3e90155e43353a2a +Subproject 6aeacf5863e6f22b86d9fb8e57380ca29fbfdda |