diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:18:38 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:18:38 -0500 |
| commit | 66075b3deb7af9ce375f4655571eaea5d7bdae35 (patch) | |
| tree | 6313a902824abbe4c5455e624cb038c4121dd714 /lib/proof-site | |
| parent | c371adda00f421853ad8ae764d3253865388209e (diff) | |
| download | configs-66075b3deb7af9ce375f4655571eaea5d7bdae35.tar.gz configs-66075b3deb7af9ce375f4655571eaea5d7bdae35.tar.xz configs-66075b3deb7af9ce375f4655571eaea5d7bdae35.zip | |
[emacs] remove old highlight-indent-guides and slack configs
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions