diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-24 18:07:11 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-24 18:09:07 -0500 |
| commit | 19740fc021b8c4b169ce14e1e66e1d2094b40d65 (patch) | |
| tree | e54cd0d2d5144281ac67118b8e45581150c852d9 /lib/proof-site | |
| parent | 197330785f9a001d49ad6afb33e2e69761fa3169 (diff) | |
| download | configs-19740fc021b8c4b169ce14e1e66e1d2094b40d65.tar.gz configs-19740fc021b8c4b169ce14e1e66e1d2094b40d65.tar.xz configs-19740fc021b8c4b169ce14e1e66e1d2094b40d65.zip | |
[emacs][wip] fix sml error when switching to dark theme
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions