edit.html
|
topbar: make buttons configurable #639
|
2023-09-18 20:24:49 +02:00 |
more.html
|
topbar: make buttons configurable #639
|
2023-09-18 20:24:49 +02:00 |
next.html
|
taxonomy: naming things #742
|
2023-12-01 21:36:58 +01:00 |
prev.html
|
taxonomy: make arrow nav browse thru terms #742
|
2023-12-01 01:03:51 +01:00 |
print.html
|
topbar: make buttons configurable #639
|
2023-09-18 20:24:49 +02:00 |
sidebar.html
|
topbar: make buttons configurable #639
|
2023-09-18 20:24:49 +02:00 |
toc.html
|
topbar: make buttons configurable #639
|
2023-09-18 20:24:49 +02:00 |