diff options
| author | Amin Bandali <amin@aminb.org> | 2018-05-13 09:52:50 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-05-13 09:52:50 -0400 |
| commit | ebec2c187be6db5fd02e244defcd25d5c27876c2 (patch) | |
| tree | 7ba40fbffc9169bc1a90c0d9a8ecc5eab7d8dbd1 /lib/proof-site | |
| parent | 51db62d880a52ad85f7f1e9f0e93f7404cd96ba9 (diff) | |
| download | configs-ebec2c187be6db5fd02e244defcd25d5c27876c2.tar.gz configs-ebec2c187be6db5fd02e244defcd25d5c27876c2.tar.xz configs-ebec2c187be6db5fd02e244defcd25d5c27876c2.zip | |
[emacs] don't enable multiple themes at the same time
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions