diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-01 10:30:57 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-01 10:30:57 -0500 |
| commit | 1f56a9b9b2f22d5df1db092c7fbe51485f569449 (patch) | |
| tree | 9b67e9341c05a6982a92880d22ca76e680052afe /lib/proof-site | |
| parent | 526ea2c42ae3190eea588843035e39c3b609b1bf (diff) | |
| download | configs-1f56a9b9b2f22d5df1db092c7fbe51485f569449.tar.gz configs-1f56a9b9b2f22d5df1db092c7fbe51485f569449.tar.xz configs-1f56a9b9b2f22d5df1db092c7fbe51485f569449.zip | |
[emacs] add cpitclaudel's tangomod{,-dark} themes
and amin/{dark,light} helpers to switch between them along with
corresponding sml mode-line theme
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions