diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-29 00:57:15 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-29 00:57:15 -0500 |
| commit | 1556b13e76c2828c1ec539bd163c84e417003c2a (patch) | |
| tree | 5f3583d323b0756e6e9c5b4d5cb87ecb427738d7 /lib/proof-site | |
| parent | 99eccce4337e1416c9d226d2035dcdca02ca6d1e (diff) | |
| download | configs-1556b13e76c2828c1ec539bd163c84e417003c2a.tar.gz configs-1556b13e76c2828c1ec539bd163c84e417003c2a.tar.xz configs-1556b13e76c2828c1ec539bd163c84e417003c2a.zip | |
[emacs] some custom.el updates
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions