|
exts
|
Various streams build improvements
|
2016-01-18 18:16:30 +02:00 |
|
pygments
|
Removing the smartypants setting from setup.py
|
2012-09-10 16:38:49 +02:00 |
|
static
|
=doc New styling and logos for the documentation
|
2014-10-24 06:05:49 +02:00 |
|
themes/akka
|
Fix double border from pre sections in docs.
|
2016-02-04 16:36:03 +02:00 |
