|
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
|
+doc #20046 allow general sections to be searched
|
2016-03-16 13:30:03 +01:00 |