Martin Trigaux 9ce3eedc65 [MERGE] Forward port of 11.0 to 12.0		2020-06-25 09:45:12 +02:00
..
static	[MERGE] Forward port of 11.0 to 12.0	2019-12-18 11:10:20 +01:00
__init__.py	[MERGE] Forward-port of branch 11.0 to 12.0	2020-02-20 11:10:41 +01:00
breadcrumb_list.html
layout.html	[MERGE] Forward port of 11.0 to 12.0	2020-06-25 09:45:12 +02:00
pygments_override.py
sub-menu_list.html
switcher.py
switchers_list.html
theme.conf
translator.py	[MERGE] Forward port of 11.0 to 12.0	2020-06-25 09:45:12 +02:00