aboutsummaryrefslogtreecommitdiff
path: root/doc/conf.py
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-10 14:35:10 -0800
committerGitHub <noreply@github.com>2018-11-10 14:35:10 -0800
commitf4d53a159642aa9182241259709659e7074425d5 (patch)
treebd149a37f465ea9d94f32108992380d4352cd4db /doc/conf.py
parent8a491e437f1c8379b66a420f8584c1761b45aa7e (diff)
parent6e281ee1dfc994c40775eda044992980738d044e (diff)
Merge pull request #949 from haskell/wip/new-ocean
Introduce NewOcean theme.
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions