|
basics
|
docs: mention colored scrollbars #471
|
2023-02-10 17:36:42 +01:00 |
|
cont
|
docs: further tweaking of the landing page
|
2023-02-10 22:38:45 +01:00 |
|
dev
|
build: allow milestones to be rereleased #453
|
2023-01-30 16:54:17 +01:00 |
|
more
|
mermaid: remove jQuery #452
|
2023-02-04 01:54:13 +01:00 |
|
shortcodes
|
piratify: reduce reader warnings #496
|
2023-02-10 17:30:41 +01:00 |
|
tests
|
theme: improve whitespacing in tables #441
|
2023-01-25 10:01:36 +01:00 |
|
_index.en.md
|
docs: further tweaking of the landing page
|
2023-02-10 22:38:45 +01:00 |
|
_index.pir.md
|
piratify: reduce reader warnings #496
|
2023-02-10 17:30:41 +01:00 |
