GitHub Actions Bot 55a27e88ad Ship tag 5.15.1		2023-05-25 13:52:34 +00:00
..
basics	Ship tag 5.15.1	2023-05-25 13:52:34 +00:00
cont	docs: instructions for pages of the shortcut section #434 #510 #522	2023-05-19 22:33:27 +02:00
dev	openapi: replace implementation with swagger-ui #523	2023-05-14 23:05:07 +02:00
more	print: enable print for pages with _build options #522	2023-05-18 00:12:47 +02:00
shortcodes	tags: allow markdown in tab name #538	2023-05-25 13:17:16 +02:00
showcase	print: enable print for pages with _build options #522	2023-05-18 00:12:47 +02:00
tests	openapi: replace implementation with swagger-ui #523	2023-05-14 23:05:07 +02:00
_index.en.md	tab: new shortcode to display single tab #538	2023-05-23 23:57:48 +02:00
_index.pir.md	piratify: reduce reader warnings #496	2023-02-10 17:30:41 +01:00