static
|
[IMP] index links looking bad with underline
|
2020-02-17 09:53:12 +01:00 |
__init__.py
|
[MERGE] Forward-port of branch 11.0 to 12.0
|
2020-02-20 11:10:41 +01:00 |
layout.html
|
[MERGE] Forward port 12.0 to 13.0
|
2020-06-25 09:45:37 +02:00 |
sub-menu_list.html
|
[FIX] *: update v14 urls
|
2020-11-27 08:03:45 +01:00 |
switcher.py
|
[CHG] initial port to new theme
|
2015-07-08 13:24:24 +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 |