diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-26 21:46:31 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-26 21:46:31 -0500 |
| commit | 408330027b47c21acc9717c9e01d9ffa438cbbba (patch) | |
| tree | 60e49a002288e3aa95cc2229201141fd38a959d0 /lib/proof-site | |
| parent | d92bd2a8d3006b984ae6658dacc89ed2275f07d0 (diff) | |
| download | configs-408330027b47c21acc9717c9e01d9ffa438cbbba.tar.gz configs-408330027b47c21acc9717c9e01d9ffa438cbbba.tar.xz configs-408330027b47c21acc9717c9e01d9ffa438cbbba.zip | |
[emacs/which-key] improve readability
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions