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

[IMP] documentation-user: restructuring submenu

2016-05-12 14:06:25 +02:00

layout.html

[MERGE] Forward port of 11.0 to 12.0

2020-06-25 09:45:12 +02:00

pygments_override.py

[IMP] inline paraiso dark to avoid pygments version headaches

2015-07-14 11:11:48 +02:00

sub-menu_list.html

[MERGE] Forward-port of branch 11.0 up to 17fc4219bd

2019-10-18 18:03:40 +02:00

switcher.py

[CHG] initial port to new theme

2015-07-08 13:24:24 +02:00

switchers_list.html

[IMP] documentation-user: restructuring submenu

2016-05-12 14:06:25 +02:00

theme.conf

[CHG] initial port to new theme

2015-07-08 13:24:24 +02:00

translator.py

[MERGE] Forward port of 11.0 to 12.0

2020-06-25 09:45:12 +02:00