diff options
author | Dmitry Shachnev <mitya57@debian.org> | 2018-12-16 12:01:43 +0300 |
---|---|---|
committer | Dmitry Shachnev <mitya57@debian.org> | 2018-12-18 16:43:19 +0300 |
commit | 99e51b15f037ee43fcb94c1f8c234a6c0c6353c4 (patch) | |
tree | dfdaf3136f8f66153f579cfd4f65fd2f84f7f5a7 /cider-util.el | |
parent | 3290846a0a3c0a5798fbc4015b8af1a9d38140dd (diff) |
Stop overriding upstream choice of mkdocs theme.
Search now works fine with the readthedocs theme.
Diffstat (limited to 'cider-util.el')
0 files changed, 0 insertions, 0 deletions