diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-24 13:49:04 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-24 13:49:04 -0500 |
| commit | 69b24a1e3574f2cf2b61b9bc9c267541c10fe02b (patch) | |
| tree | 78869b6f5593ce6807d5cc942eb8d3d23f71b6fd /lib/proof-site | |
| parent | cca52a26fc1bf6a5bc79285c1b05457f3f1be54f (diff) | |
| download | configs-69b24a1e3574f2cf2b61b9bc9c267541c10fe02b.tar.gz configs-69b24a1e3574f2cf2b61b9bc9c267541c10fe02b.tar.xz configs-69b24a1e3574f2cf2b61b9bc9c267541c10fe02b.zip | |
[emacs][wip] enable ivy (and friends) & the rest of my core packages
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions