summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <amin@gnu.org>2018-09-26 20:25:21 -0400
committerAmin Bandali <amin@gnu.org>2018-09-26 20:25:21 -0400
commita9b3e9060ac99a2a29e586696d7793846e3e01a8 (patch)
treebb8864f600c6f1b2b4398cecd10c1eafe21f9d31 /lib/proof-site
parent81f3a32442dbdd21b93b80b1dcf0f2b51f1c0314 (diff)
downloadconfigs-a9b3e9060ac99a2a29e586696d7793846e3e01a8.tar.gz
configs-a9b3e9060ac99a2a29e586696d7793846e3e01a8.tar.xz
configs-a9b3e9060ac99a2a29e586696d7793846e3e01a8.zip
[emacs] update 6 drones
lib/doom-modeline master v0.4.0-16-g92b5bf5 lib/ivy master 0.10.0-413-g02d9528 lib/magit master 2.13.0-267-g5303d75e lib/org master release_9.1.14-935-g7ae123081 lib/ox-hugo master v0.8-402-g2be4bc0 lib/projectile master v1.0.0-90-gaaafbfd
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions