GitHub Actions Bot 8c853b0604 Ship tag 5.19.0

2023-08-12 23:43:42 +00:00

..

basics

Ship tag 5.19.0

2023-08-12 23:43:42 +00:00

cont

Update menushortcuts.en.md

2023-08-02 23:45:09 +02:00

dev

openapi: replace implementation with swagger-ui #523

2023-05-14 23:05:07 +02:00

more

mermaid: add docs #603 #601

2023-08-05 14:33:13 +02:00

shortcodes

docs: fix incomplete tab examples

2023-08-13 01:24:17 +02:00

showcase

print: enable print for pages with _build options #522

2023-05-18 00:12:47 +02:00

_index.en.md

i18n: add Hungarian translation #604

2023-07-31 16:14:35 +02:00

_index.pir.md

piratify: reduce reader warnings #496

2023-02-10 17:30:41 +01:00