summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-12-01 10:30:57 -0500
committerAmin Bandali <bandali@gnu.org>2018-12-01 10:30:57 -0500
commit1f56a9b9b2f22d5df1db092c7fbe51485f569449 (patch)
tree9b67e9341c05a6982a92880d22ca76e680052afe /lib/proof-site
parent526ea2c42ae3190eea588843035e39c3b609b1bf (diff)
downloadconfigs-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